%0 Conference Paper %1 conf/fossacs/FortinG16 %A Fortin, Marie %A Gastin, Paul %B FoSSaCS %D 2016 %E Jacobs, Bart %E Löding, Christof %I Springer %K dblp %P 197-213 %T Verification of Parameterized Communicating Automata via Split-Width. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2016.html#FortinG16 %V 9634 %@ 978-3-662-49629-9

@inproceedings{conf/fossacs/FortinG16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Fortin, Marie and Gastin, Paul}, biburl = {https://www.bibsonomy.org/bibtex/2514301feef1083ea1ba1e8492517faed/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2016}, editor = {Jacobs, Bart and Löding, Christof}, ee = {https://doi.org/10.1007/978-3-662-49630-5_12}, interhash = {0f5da0074bb4b704b9c6cc2d53ddcf50}, intrahash = {514301feef1083ea1ba1e8492517faed}, isbn = {978-3-662-49629-9}, keywords = {dblp}, pages = {197-213}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:33:18.000+0200}, title = {Verification of Parameterized Communicating Automata via Split-Width.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2016.html#FortinG16}, volume = 9634, year = 2016 }