BibSonomy :: publication ::

tag user group author concept BibTeX key search:all search:dblp

The blue social bookmark and publication sharing system.

entry of dblp:

(0)

This publication has not been reviewed yet.

rating distribution

average user rating

The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.

(0.0 of 5.0 based on 0 reviews)

A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.

by: Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, and Bing Yu

In: CAV, Vol. 1254Springer (1997) , p. 202-213.

Resources (URL, PDF, PS...)

URL:	http://dblp.uni-trier.de/db/conf/cav/cav97.html#CimattiGPPPRTY97

@inproceedings{conf/cav/CimattiGPPPRTY97,
  added-at = {2009-09-25T00:00:00.000+0200},
  author = {Cimatti, Alessandro and Giunchiglia, Fausto and Pecchiari, Paolo and Pietra, Bruno and Profeta, Joe and Romano, Dario and Traverso, Paolo and Yu, Bing},
  biburl = {http://www.bibsonomy.org/bibtex/28df48a9aae910ecc0804d90980b65a73/dblp},
  booktitle = {CAV},
  crossref = {conf/cav/1997},
  date = {2009-09-25},
  description = {dblp},
  editor = {Grumberg, Orna},
  ee = {http://dx.doi.org/10.1007/3-540-63166-6_21},
  interhash = {e2d4807f175a7b05f731825c023bbe22},
  intrahash = {8df48a9aae910ecc0804d90980b65a73},
  isbn = {3-540-63166-6},
  keywords = {dblp},
  pages = {202-213},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2009-09-25T00:00:00.000+0200},
  title = {A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.},
  url = {http://dblp.uni-trier.de/db/conf/cav/cav97.html#CimattiGPPPRTY97},
  volume = 1254,
  year = 1997
}

Endnote record

BibSonomy :: publication ::

A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.

Resources (URL, PDF, PS...)

Description

BibTeX record

Endnote record