Tampere University of Technology

TUTCRIS Research Portal

Constructing Minimal Coverability Sets

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

Details

Original languageEnglish
Title of host publicationReachability Problems. Proceedings of the 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013
EditorsParosh Aziz Abdulla, Igor Potapov
Place of PublicationBerlin Heidelberg
PublisherSpringer
Pages183-195
Number of pages13
ISBN (Electronic)978-3-642-41036-9
ISBN (Print)978-3-642-41035-2
DOIs
Publication statusPublished - 2013
Publication typeA4 Article in a conference publication

Publication series

NameLecture Notes in Computer Science
Volume8169
ISSN (Print)0302-9743

Publication forum classification

Field of science, Statistics Finland