%0 Conference Paper %1 conf/memocode/SprengerW03 %A Sprenger, Christoph %A Worytkiewicz, Krzysztof %B MEMOCODE %D 2003 %I IEEE Computer Society %K dblp %P 255-264 %T A Verification Methodology for Infinite-State Message Passing Systems. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2003.html#SprengerW03 %@ 0-7695-1923-7

@inproceedings{conf/memocode/SprengerW03, added-at = {2023-03-24T00:00:00.000+0100}, author = {Sprenger, Christoph and Worytkiewicz, Krzysztof}, biburl = {https://www.bibsonomy.org/bibtex/2dee69698dc61ec1cf770f7ce034fe9e5/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2003}, ee = {http://dl.acm.org/citation.cfm?id=823834}, interhash = {26ac24b90ca0a02e6068c790d14f5a39}, intrahash = {dee69698dc61ec1cf770f7ce034fe9e5}, isbn = {0-7695-1923-7}, keywords = {dblp}, pages = {255-264}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:20:42.000+0200}, title = {A Verification Methodology for Infinite-State Message Passing Systems.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2003.html#SprengerW03}, year = 2003 }