%0 Book %1 clarke2000model %A Clarke, Edmund M. %A Grumberg, Orna %A Peled, Doron A. %B Model checking %C Cambridge, Mass. u.a. %D 2000 %I MIT %K checking formal method model todo verification %T Model checking %U http://opac.tib.uni-hannover.de/DB=1/SET=2/TTL=1/CMD?ACT=SRCHA&IKT=1016&SRT=YOP&TRM=clarke++grumberg++peled %7 2. print %@ 0-262-03270-8

@book{clarke2000model, added-at = {2014-12-12T16:18:30.000+0100}, address = {Cambridge, Mass. [u.a.]}, author = {Clarke, Edmund M. and Grumberg, Orna and Peled, Doron A.}, biburl = {https://www.bibsonomy.org/bibtex/2ea090b28de9271f78318e68bf88b84e0/glade}, booktitle = {Model checking}, description = {TIBUB - Katalog der Technischen Informationsbibliothek und Universitätsbibliothek Hannover - results/titledata}, edition = {2. print}, interhash = {b7ddda6b0398a4a0cef6afec423fc12d}, intrahash = {ea090b28de9271f78318e68bf88b84e0}, isbn = {0-262-03270-8}, keywords = {checking formal method model todo verification}, publisher = {MIT}, timestamp = {2014-12-12T16:18:30.000+0100}, title = {Model checking}, url = {http://opac.tib.uni-hannover.de/DB=1/SET=2/TTL=1/CMD?ACT=SRCHA&IKT=1016&SRT=YOP&TRM=clarke++grumberg++peled}, year = 2000 }