Inproceedings,
Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report).
R. Alur, L. Jagadeesan, J. Kott, and J. Olnhausen.ICSE, page 514-524. ACM, (1997)
Meta data
- BibTeX key
- conf/icse/AlurJKO97
- entry type
- inproceedings
- booktitle
- ICSE
- year
- 1997
- pages
- 514-524
- publisher
- ACM
- crossref
- conf/icse/1997
- ee
- https://doi.org/10.1145/253228.253434
- isbn
- 0-89791-914-9
- url
- http://dblp.uni-trier.de/db/conf/icse/icse97.html#AlurJKO97
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icse/AlurJKO97
%A Alur, Rajeev
%A Jagadeesan, Lalita Jategaonkar
%A Kott, Joseph J.
%A Olnhausen, James Von
%B ICSE
%D 1997
%E Adrion, W. Richards
%E Fuggetta, Alfonso
%E Taylor, Richard N.
%E Wasserman, Anthony I.
%I ACM
%K dblp
%P 514-524
%T Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report).
%U http://dblp.uni-trier.de/db/conf/icse/icse97.html#AlurJKO97
%@ 0-89791-914-9
@inproceedings{conf/icse/AlurJKO97,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Alur, Rajeev and Jagadeesan, Lalita Jategaonkar and Kott, Joseph J. and Olnhausen, James Von},
biburl = {https://www.bibsonomy.org/bibtex/27df8b4a3c0b9e7ee41eff86e77caeda6/dblp},
booktitle = {ICSE},
crossref = {conf/icse/1997},
editor = {Adrion, W. Richards and Fuggetta, Alfonso and Taylor, Richard N. and Wasserman, Anthony I.},
ee = {https://doi.org/10.1145/253228.253434},
interhash = {55ae37aded7b17eb633e9bb0880ffbd6},
intrahash = {7df8b4a3c0b9e7ee41eff86e77caeda6},
isbn = {0-89791-914-9},
keywords = {dblp},
pages = {514-524},
publisher = {ACM},
timestamp = {2018-11-07T16:33:41.000+0100},
title = {Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report).},
url = {http://dblp.uni-trier.de/db/conf/icse/icse97.html#AlurJKO97},
year = 1997
}