Tampere University of Technology

TUTCRIS Research Portal

Old and New Algorithms for Minimal Coverability Sets

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Details

Original languageEnglish
Title of host publicationApplication and Theory of Petri Nets. 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings. Lecture Notes in Computer Science
Place of PublicationBerlin
PublisherSpringer
Pages208-227
ISBN (Electronic)978-3-642-31131-4
ISBN (Print)978-3-642-31130-7
DOIs
Publication statusPublished - 2012
Publication typeA4 Article in a conference publication

Publication series

NameInternational Conference on Application and Theory of Petri Nets and Concurrency
Volume7347
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Publication forum classification

Field of science, Statistics Finland