%0 Conference Paper %1 conf/movep/Merz00 %A Merz, Stephan %B MOVEP %D 2000 %E Cassez, Franck %E Jard, Claude %E Rozoy, Brigitte %E Ryan, Mark Dermot %I Springer %K %P 3-38 %T Model Checking: A Tutorial Overview. %U http://dblp.uni-trier.de/db/conf/movep/movep2000.html#Merz00 %V 2067 %@ 3-540-42787-2

@inproceedings{conf/movep/Merz00, added-at = {2023-12-14T15:22:38.000+0100}, author = {Merz, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/2b7210117c4a3c92f4b57459b70191e48/admin}, booktitle = {MOVEP}, crossref = {conf/movep/2000}, editor = {Cassez, Franck and Jard, Claude and Rozoy, Brigitte and Ryan, Mark Dermot}, ee = {https://doi.org/10.1007/3-540-45510-8_1}, interhash = {ea620b07dd3de73cac786e5fc72ff1a1}, intrahash = {b7210117c4a3c92f4b57459b70191e48}, isbn = {3-540-42787-2}, keywords = {}, pages = {3-38}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:22:38.000+0100}, title = {Model Checking: A Tutorial Overview.}, url = {http://dblp.uni-trier.de/db/conf/movep/movep2000.html#Merz00}, volume = 2067, year = 2000 }