%0 Conference Paper %1 conf/date/PastorP03 %A Pastor, Enric %A Peña, Marco A. %B DATE %D 2003 %I IEEE Computer Society %K dblp %P 11158-11159 %T Combining Simulation and Guided Traversal for the Verification of Concurrent Systems. %U http://dblp.uni-trier.de/db/conf/date/date2003.html#PastorP03 %@ 0-7695-1870-2

@inproceedings{conf/date/PastorP03, added-at = {2023-03-24T00:00:00.000+0100}, author = {Pastor, Enric and Peña, Marco A.}, biburl = {https://www.bibsonomy.org/bibtex/2f2684f80d8dea8621f9998db4622de48/dblp}, booktitle = {DATE}, crossref = {conf/date/2003}, ee = {http://dl.acm.org/citation.cfm?id=1022899}, interhash = {d53ca4aa48c3c19d58a6249e3e4dcf5a}, intrahash = {f2684f80d8dea8621f9998db4622de48}, isbn = {0-7695-1870-2}, keywords = {dblp}, pages = {11158-11159}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:54:02.000+0200}, title = {Combining Simulation and Guided Traversal for the Verification of Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/conf/date/date2003.html#PastorP03}, year = 2003 }