%0 Journal Article %1 Zhao2010ConcurrentFiniteStatePrograms %A Zhao, Haoxian %D 2010 %K coverability cutoff decidability parameterized safety %T Using the Karp-Miller Tree. Construction to Analyse. Concurrent Finite-State Programs

@article{Zhao2010ConcurrentFiniteStatePrograms, added-at = {2010-04-20T12:01:57.000+0200}, author = {Zhao, Haoxian}, biburl = {https://www.bibsonomy.org/bibtex/2d6b2e6f80822a5d0bdd244aee28ce771/giuliano.losa}, interhash = {0278ebbf13b03b8a08bf71065031b9d0}, intrahash = {d6b2e6f80822a5d0bdd244aee28ce771}, keywords = {coverability cutoff decidability parameterized safety}, timestamp = {2010-04-20T12:01:57.000+0200}, title = {Using the Karp-Miller Tree. Construction to Analyse. Concurrent Finite-State Programs}, year = 2010 }