Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Constructing Minimal Coverability Sets - MaRDI portal

Constructing Minimal Coverability Sets

From MaRDI portal

Publication:2968530

Jump to:navigation, search

DOI10.3233/FI-2016-1319zbMath1362.68222MaRDI QIDQ2968530

Antti Valmari, Artturi Piipponen

Publication date: 16 March 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

Tarjan's algorithm coverability set antichain data structure

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Data structures (68P05)

Related Items (2)

Commodification of accelerations for the Karp and Miller construction ⋮ Stop-transitions of Petri Nets*

This page was built for publication: Constructing Minimal Coverability Sets

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2968530&oldid=15970909"