Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/sas/RanzatoT02
%A Ranzato, Francesco
%A Tapparo, Francesco
%B SAS
%D 2002
%E Hermenegildo, Manuel V.
%E Puebla, Germán
%I Springer
%K dblp
%P 411-427
%T Making Abstract Model Checking Strongly Preserving.
%U http://dblp.uni-trier.de/db/conf/sas/sas2002.html#RanzatoT02
%V 2477
%@ 3-540-44235-9
@inproceedings{conf/sas/RanzatoT02,
added-at = {2017-05-24T00:00:00.000+0200},
author = {Ranzato, Francesco and Tapparo, Francesco},
biburl = {https://www.bibsonomy.org/bibtex/2e5821abc394a933c744315ad502d0836/dblp},
booktitle = {SAS},
crossref = {conf/sas/2002},
editor = {Hermenegildo, Manuel V. and Puebla, Germán},
ee = {https://doi.org/10.1007/3-540-45789-5_29},
interhash = {1a5923018e22a5cf1232e54bffd626ef},
intrahash = {e5821abc394a933c744315ad502d0836},
isbn = {3-540-44235-9},
keywords = {dblp},
pages = {411-427},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T13:44:57.000+0200},
title = {Making Abstract Model Checking Strongly Preserving.},
url = {http://dblp.uni-trier.de/db/conf/sas/sas2002.html#RanzatoT02},
volume = 2477,
year = 2002
}