Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/fmcad/Emerson15
%A Emerson, Allan
%B FMCAD
%D 2015
%E Kaivola, Roope
%E Wahl, Thomas
%I IEEE
%K dblp
%P 7
%T The Genesis and Development of Model Checking: Fact vs. Fiction.
%U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2015.html#Emerson15
%@ 978-0-9835-6785-1
@inproceedings{conf/fmcad/Emerson15,
added-at = {2023-05-30T00:00:00.000+0200},
author = {Emerson, Allan},
biburl = {https://www.bibsonomy.org/bibtex/2871ab32161ce9434f86df20b364270a2/dblp},
booktitle = {FMCAD},
crossref = {conf/fmcad/2015},
editor = {Kaivola, Roope and Wahl, Thomas},
ee = {https://doi.org/10.1109/FMCAD.2015.7542245},
interhash = {cfde5739274501c9101664e4ddd56996},
intrahash = {871ab32161ce9434f86df20b364270a2},
isbn = {978-0-9835-6785-1},
keywords = {dblp},
pages = 7,
publisher = {IEEE},
timestamp = {2024-04-09T23:58:44.000+0200},
title = {The Genesis and Development of Model Checking: Fact vs. Fiction.},
url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2015.html#Emerson15},
year = 2015
}