Meta data
- BibTeX key
- clarke1999model
- entry type
- electronic
- address
- Cambridge, Mass.
- year
- 1999
- publisher
- MIT Press
- isbn
- 0585385580 9780585385587
- refid
- 49568935
- url
- http://www.amazon.de/s/url=search-alias%3Daps&field-keywords=0262032708
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Generic
%1 clarke1999model
%A Clarke, E. M.
%A Peled, Doron A.
%C Cambridge, Mass.
%D 1999
%I MIT Press
%K model_checking
%T Model checking
%U http://www.amazon.de/s/url=search-alias%3Daps&field-keywords=0262032708
%@ 0585385580 9780585385587
@electronic{clarke1999model,
added-at = {2015-12-26T14:44:32.000+0100},
address = {Cambridge, Mass.},
author = {Clarke, E. M. and Peled, Doron A.},
biburl = {https://www.bibsonomy.org/bibtex/2b85811c50ec703a91011ec5dddc20996/mabed},
description = {Suchergebnis auf Amazon.de für: 0262032708},
interhash = {4d3737b6a898a1709069f7a190606097},
intrahash = {b85811c50ec703a91011ec5dddc20996},
isbn = {0585385580 9780585385587},
keywords = {model_checking},
publisher = {MIT Press},
refid = {49568935},
timestamp = {2015-12-26T14:44:32.000+0100},
title = {Model checking},
url = {http://www.amazon.de/s/url=search-alias%3Daps&field-keywords=0262032708},
year = 1999
}