%0 Conference Paper %1 conf/concur/WolperG93 %A Wolper, Pierre %A Godefroid, Patrice %B CONCUR %D 1993 %E Best, Eike %I Springer %K dblp %P 233-246 %T Partial-Order Methods for Temporal Verification. %U http://dblp.uni-trier.de/db/conf/concur/concur1993.html#WolperG93 %V 715 %@ 3-540-57208-2

@inproceedings{conf/concur/WolperG93, added-at = {2024-02-05T00:00:00.000+0100}, author = {Wolper, Pierre and Godefroid, Patrice}, biburl = {https://www.bibsonomy.org/bibtex/299772807113c4fc8a4600ecdd4c4334b/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1993}, editor = {Best, Eike}, ee = {https://doi.org/10.1007/3-540-57208-2_17}, interhash = {dc920ca179a3a5dec06cfb8ca073f618}, intrahash = {99772807113c4fc8a4600ecdd4c4334b}, isbn = {3-540-57208-2}, keywords = {dblp}, pages = {233-246}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:31:40.000+0200}, title = {Partial-Order Methods for Temporal Verification.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1993.html#WolperG93}, volume = 715, year = 1993 }