%0 Conference Paper %1 conf/spin/BaldamusS01 %A Baldamus, Michael %A Schröder-Babo, Jochen %B SPIN %D 2001 %E Dwyer, Matthew B. %I Springer %K dblp %P 183-191 %T p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper). %U http://dblp.uni-trier.de/db/conf/spin/spin2001.html#BaldamusS01 %V 2057 %@ 3-540-42124-6

@inproceedings{conf/spin/BaldamusS01, added-at = {2022-06-02T00:00:00.000+0200}, author = {Baldamus, Michael and Schröder-Babo, Jochen}, biburl = {https://www.bibsonomy.org/bibtex/2b62085a2d1390486710a2a4b60f5f586/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2001}, editor = {Dwyer, Matthew B.}, ee = {https://dl.acm.org/doi/10.5555/380921.380937}, interhash = {ba368634397844ba544b2e186dc1424b}, intrahash = {b62085a2d1390486710a2a4b60f5f586}, isbn = {3-540-42124-6}, keywords = {dblp}, pages = {183-191}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:54:45.000+0200}, title = {p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper).}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2001.html#BaldamusS01}, volume = 2057, year = 2001 }