Inproceedings,
Timed Interfaces.
L. de Alfaro, T. Henzinger, and M. Stoelinga.EMSOFT, volume 2491 of Lecture Notes in Computer Science, page 108-122. Springer, (2002)
Meta data
- BibTeX key
- conf/emsoft/AlfaroHS02
- entry type
- inproceedings
- booktitle
- EMSOFT
- year
- 2002
- pages
- 108-122
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 2491
- crossref
- conf/emsoft/2002
- ee
- https://doi.org/10.1007/3-540-45828-X_9
- isbn
- 3-540-44307-X
- url
- http://dblp.uni-trier.de/db/conf/emsoft/emsoft2002.html#AlfaroHS02
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/emsoft/AlfaroHS02
%A de Alfaro, Luca
%A Henzinger, Thomas A.
%A Stoelinga, Mariëlle
%B EMSOFT
%D 2002
%E Sangiovanni-Vincentelli, Alberto L.
%E Sifakis, Joseph
%I Springer
%K dblp
%P 108-122
%T Timed Interfaces.
%U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2002.html#AlfaroHS02
%V 2491
%@ 3-540-44307-X
@inproceedings{conf/emsoft/AlfaroHS02,
added-at = {2017-05-24T00:00:00.000+0200},
author = {de Alfaro, Luca and Henzinger, Thomas A. and Stoelinga, Mariëlle},
biburl = {https://www.bibsonomy.org/bibtex/2d7c2df17a9c39bd7625263e649eac8cc/dblp},
booktitle = {EMSOFT},
crossref = {conf/emsoft/2002},
editor = {Sangiovanni-Vincentelli, Alberto L. and Sifakis, Joseph},
ee = {https://doi.org/10.1007/3-540-45828-X_9},
interhash = {131ab1a4caad7c8bf078ea93f1a716b3},
intrahash = {d7c2df17a9c39bd7625263e649eac8cc},
isbn = {3-540-44307-X},
keywords = {dblp},
pages = {108-122},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T19:42:47.000+0200},
title = {Timed Interfaces.},
url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2002.html#AlfaroHS02},
volume = 2491,
year = 2002
}