Inproceedings,
The Composability of ASTRAL Realtime Specifications.
A. Coen-Porisini, and R. Kemmerer.ISSTA, page 128-138. ACM, (1993)
Meta data
- BibTeX key
- conf/issta/Coen-PorisiniK93
- entry type
- inproceedings
- booktitle
- ISSTA
- year
- 1993
- pages
- 128-138
- publisher
- ACM
- crossref
- conf/issta/1993
- ee
- https://doi.org/10.1145/174146.154271
- isbn
- 0-89791-608-5
- url
- http://dblp.uni-trier.de/db/conf/issta/issta93.html#Coen-PorisiniK93
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/issta/Coen-PorisiniK93
%A Coen-Porisini, Alberto
%A Kemmerer, Richard A.
%B ISSTA
%D 1993
%E Ostrand, Thomas J.
%E Weyuker, Elaine J.
%I ACM
%K dblp
%P 128-138
%T The Composability of ASTRAL Realtime Specifications.
%U http://dblp.uni-trier.de/db/conf/issta/issta93.html#Coen-PorisiniK93
%@ 0-89791-608-5
@inproceedings{conf/issta/Coen-PorisiniK93,
added-at = {2022-02-14T00:00:00.000+0100},
author = {Coen-Porisini, Alberto and Kemmerer, Richard A.},
biburl = {https://www.bibsonomy.org/bibtex/23a648a5c64d139ad390ab2127eb72f33/dblp},
booktitle = {ISSTA},
crossref = {conf/issta/1993},
editor = {Ostrand, Thomas J. and Weyuker, Elaine J.},
ee = {https://doi.org/10.1145/174146.154271},
interhash = {18e41696968d97420ef12897da7e3af6},
intrahash = {3a648a5c64d139ad390ab2127eb72f33},
isbn = {0-89791-608-5},
keywords = {dblp},
pages = {128-138},
publisher = {ACM},
timestamp = {2024-04-09T20:41:14.000+0200},
title = {The Composability of ASTRAL Realtime Specifications.},
url = {http://dblp.uni-trier.de/db/conf/issta/issta93.html#Coen-PorisiniK93},
year = 1993
}