%0 Conference Paper %1 conf/fbt/WisspeintnerHP00 %A Wißpeintner, Alexander K. %A Huber, Franz %A Philipps, Jan %B FBT %D 2000 %E Grabowski, Jens %E Heymer, Stefan %I Verlag Shaker %K dblp %P 91-100 %T Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. %U http://dblp.uni-trier.de/db/conf/fbt/fbt2000.html#WisspeintnerHP00 %@ 3-8265-7491-5

@inproceedings{conf/fbt/WisspeintnerHP00, added-at = {2003-03-21T00:00:00.000+0100}, author = {Wißpeintner, Alexander K. and Huber, Franz and Philipps, Jan}, biburl = {https://www.bibsonomy.org/bibtex/203a4b6d781f2f1137d0d4e703511ab61/dblp}, booktitle = {FBT}, crossref = {conf/fbt/2000}, date = {2003-03-21}, description = {dblp}, editor = {Grabowski, Jens and Heymer, Stefan}, interhash = {b403ddb9ea027359eaf1c4d4ed8da4ad}, intrahash = {03a4b6d781f2f1137d0d4e703511ab61}, isbn = {3-8265-7491-5}, keywords = {dblp}, pages = {91-100}, publisher = {Verlag Shaker}, timestamp = {2003-03-21T00:00:00.000+0100}, title = {Model Checking and Random Competition - A Study Using the Model Checking Framework MIC.}, url = {http://dblp.uni-trier.de/db/conf/fbt/fbt2000.html#WisspeintnerHP00}, year = 2000 }