view
table of contents in dblp
electronic edition @ sciencedirect.com
no references & citations available
export record
BibTeX
RIS
RDF N-Triples
RDF Turtle
RDF/XML
XML
dblp key:
conf/bmc/2003
ask others
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
PubPeer
share record
Twitter
Reddit
BibSonomy
LinkedIn
Facebook
persistent URL:
https://dblp.org/rec/conf/bmc/2003
Ofer Strichman
,
Armin Biere
:
First International Workshop on Bounded Model Checking, BMC@CAV 2003, Boulder, Colorado, USA, July 13, 2003.
Electronic Notes in Theoretical Computer Science
89(4),
Elsevier
2003
[contents]