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/cav/Kaivola92
%A Kaivola, Roope
%B CAV
%D 1992
%E von Bochmann, Gregor
%E Probst, David K.
%I Springer
%K dblp
%P 248-259
%T Compositional Model Checking for Linear-Time Temporal Logic.
%U http://dblp.uni-trier.de/db/conf/cav/cav1992.html#Kaivola92
%V 663
%@ 3-540-56496-9
@inproceedings{conf/cav/Kaivola92,
added-at = {2017-05-20T00:00:00.000+0200},
author = {Kaivola, Roope},
biburl = {https://www.bibsonomy.org/bibtex/2d78f10132d73dd9268c01971605396dc/dblp},
booktitle = {CAV},
crossref = {conf/cav/1992},
editor = {von Bochmann, Gregor and Probst, David K.},
ee = {https://doi.org/10.1007/3-540-56496-9_20},
interhash = {dcd7359a5122ad9bd64235a1598e09eb},
intrahash = {d78f10132d73dd9268c01971605396dc},
isbn = {3-540-56496-9},
keywords = {dblp},
pages = {248-259},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T14:39:38.000+0200},
title = {Compositional Model Checking for Linear-Time Temporal Logic.},
url = {http://dblp.uni-trier.de/db/conf/cav/cav1992.html#Kaivola92},
volume = 663,
year = 1992
}