%0 Conference Paper %1 conf/fm/BoigelotG96 %A Boigelot, Bernard %A Godefroid, Patrice %B FME %D 1996 %E Gaudel, Marie-Claude %E Woodcock, Jim %I Springer %K dblp %P 465-478 %T Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN. %U http://dblp.uni-trier.de/db/conf/fm/fme1996.html#BoigelotG96 %V 1051 %@ 3-540-60973-3

@inproceedings{conf/fm/BoigelotG96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Boigelot, Bernard and Godefroid, Patrice}, biburl = {https://www.bibsonomy.org/bibtex/2e5f13a020059786e15e4a40a92fa2fe2/dblp}, booktitle = {FME}, crossref = {conf/fm/1996}, editor = {Gaudel, Marie-Claude and Woodcock, Jim}, ee = {https://doi.org/10.1007/3-540-60973-3_102}, interhash = {04d439bc819a86762baf56a5ba5421e0}, intrahash = {e5f13a020059786e15e4a40a92fa2fe2}, isbn = {3-540-60973-3}, keywords = {dblp}, pages = {465-478}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:23.000+0200}, title = {Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme1996.html#BoigelotG96}, volume = 1051, year = 1996 }