%0 Conference Paper %1 conf/rp/SkrypnyukN11 %A Skrypnyuk, Nataliya %A Nielson, Flemming %B RP %D 2011 %E Delzanno, Giorgio %E Potapov, Igor %I Springer %K %P 231-244 %T Reachability for Finite-State Process Algebras Using Static Analysis. %U http://dblp.uni-trier.de/db/conf/rp/rp2011.html#SkrypnyukN11 %V 6945 %@ 978-3-642-24287-8

@inproceedings{conf/rp/SkrypnyukN11, added-at = {2023-12-13T10:57:54.000+0100}, author = {Skrypnyuk, Nataliya and Nielson, Flemming}, biburl = {https://www.bibsonomy.org/bibtex/2cc92cd2f410c92209eba03625a2522da/admin}, booktitle = {RP}, crossref = {conf/rp/2011}, editor = {Delzanno, Giorgio and Potapov, Igor}, ee = {https://www.wikidata.org/entity/Q59416336}, interhash = {dc8353e5fdbb5e3ac52e0ce6d0842e1e}, intrahash = {cc92cd2f410c92209eba03625a2522da}, isbn = {978-3-642-24287-8}, keywords = {}, pages = {231-244}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T10:57:54.000+0100}, title = {Reachability for Finite-State Process Algebras Using Static Analysis.}, url = {http://dblp.uni-trier.de/db/conf/rp/rp2011.html#SkrypnyukN11}, volume = 6945, year = 2011 }