%0 Conference Paper %1 conf/pts/AartsJU10 %A Aarts, Fides %A Jonsson, Bengt %A Uijen, Johan %B ICTSS %D 2010 %E Petrenko, Alexandre %E da Silva Simão, Adenilso %E Maldonado, José Carlos %I Springer %K dblp %P 188-204 %T Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. %U http://dblp.uni-trier.de/db/conf/pts/ictss2010.html#AartsJU10 %V 6435 %@ 978-3-642-16572-6

@inproceedings{conf/pts/AartsJU10, added-at = {2021-08-31T00:00:00.000+0200}, author = {Aarts, Fides and Jonsson, Bengt and Uijen, Johan}, biburl = {https://www.bibsonomy.org/bibtex/2b3013370c115c86616407502b8a3af81/dblp}, booktitle = {ICTSS}, crossref = {conf/pts/2010}, editor = {Petrenko, Alexandre and da Silva Simão, Adenilso and Maldonado, José Carlos}, ee = {https://doi.org/10.1007/978-3-642-16573-3_14}, interhash = {b32ba1fad699ef8596bc66ee231f8f49}, intrahash = {b3013370c115c86616407502b8a3af81}, isbn = {978-3-642-16572-6}, keywords = {dblp}, pages = {188-204}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:45:24.000+0200}, title = {Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction.}, url = {http://dblp.uni-trier.de/db/conf/pts/ictss2010.html#AartsJU10}, volume = 6435, year = 2010 }