Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.
R. Anderson, P. Beame, W. Chan, and D. Notkin. Ershov Memorial Conference, volume 1755 of Lecture Notes in Computer Science, page 460-469. Springer, (1999)
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/ershov/AndersonBCN99
%A Anderson, Richard J.
%A Beame, Paul
%A Chan, William
%A Notkin, David
%B Ershov Memorial Conference
%D 1999
%E Bjørner, Dines
%E Broy, Manfred
%E Zamulin, Alexandre V.
%I Springer
%K dblp
%P 460-469
%T Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.
%U http://dblp.uni-trier.de/db/conf/ershov/ershov1999.html#AndersonBCN99
%V 1755
%@ 3-540-67102-1
@inproceedings{conf/ershov/AndersonBCN99,
added-at = {2018-08-16T00:00:00.000+0200},
author = {Anderson, Richard J. and Beame, Paul and Chan, William and Notkin, David},
biburl = {https://www.bibsonomy.org/bibtex/22d57bc642dcd9c1667cc57ce6a8bd40a/dblp},
booktitle = {Ershov Memorial Conference},
crossref = {conf/ershov/1999},
editor = {Bjørner, Dines and Broy, Manfred and Zamulin, Alexandre V.},
ee = {https://doi.org/10.1007/3-540-46562-6_41},
interhash = {0606fc26b0e04ae38b6ef10b430be710},
intrahash = {2d57bc642dcd9c1667cc57ce6a8bd40a},
isbn = {3-540-67102-1},
keywords = {dblp},
pages = {460-469},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T20:03:34.000+0200},
title = {Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.},
url = {http://dblp.uni-trier.de/db/conf/ershov/ershov1999.html#AndersonBCN99},
volume = 1755,
year = 1999
}
