%0 Conference Paper %1 conf/dimacs/Luckham96 %A Luckham, David C. %B Partial Order Methods in Verification %D 1996 %E Peled, Doron A. %E Pratt, Vaughan R. %E Holzmann, Gerard J. %I DIMACS/AMS %K dblp %P 329-357 %T Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. %U http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#Luckham96 %V 29 %@ 978-0-8218-0579-4

@inproceedings{conf/dimacs/Luckham96, added-at = {2022-06-09T00:00:00.000+0200}, author = {Luckham, David C.}, biburl = {https://www.bibsonomy.org/bibtex/2dda28f9c74972b22ccc67a4fe14382bb/dblp}, booktitle = {Partial Order Methods in Verification}, crossref = {conf/dimacs/dimacs29}, editor = {Peled, Doron A. and Pratt, Vaughan R. and Holzmann, Gerard J.}, ee = {https://doi.org/10.1090/dimacs/029/18}, interhash = {63e469b460e09d51ce12dc43b0e6d223}, intrahash = {dda28f9c74972b22ccc67a4fe14382bb}, isbn = {978-0-8218-0579-4}, keywords = {dblp}, pages = {329-357}, publisher = {DIMACS/AMS}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, timestamp = {2024-04-09T17:59:46.000+0200}, title = {Rapide: A language and toolset for simulation of distributed systems by partial orderings of events.}, url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#Luckham96}, volume = 29, year = 1996 }