Inproceedings,
Flow analysis for concurrent, reactive, real-time systems.
R. Vishnuvajjala, S. Subramanian, W. Tsai, R. Mojdehbakhsh, and L. Elliott.HASE, page 176-183. IEEE Computer Society, (1996)
Meta data
- BibTeX key
- conf/hase/VishnuvajjalaSTME96
- entry type
- inproceedings
- booktitle
- HASE
- year
- 1996
- pages
- 176-183
- publisher
- IEEE Computer Society
- crossref
- conf/hase/1996
- ee
- https://doi.ieeecomputersociety.org/10.1109/HASE.1996.618591
- isbn
- 0-8186-7629-9
- url
- http://dblp.uni-trier.de/db/conf/hase/hase1996.html#VishnuvajjalaSTME96
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/hase/VishnuvajjalaSTME96
%A Vishnuvajjala, Ramakrishna V.
%A Subramanian, Satish
%A Tsai, Wei-Tek
%A Mojdehbakhsh, Ramin
%A Elliott, Lynn
%B HASE
%D 1996
%I IEEE Computer Society
%K dblp
%P 176-183
%T Flow analysis for concurrent, reactive, real-time systems.
%U http://dblp.uni-trier.de/db/conf/hase/hase1996.html#VishnuvajjalaSTME96
%@ 0-8186-7629-9
@inproceedings{conf/hase/VishnuvajjalaSTME96,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Vishnuvajjala, Ramakrishna V. and Subramanian, Satish and Tsai, Wei-Tek and Mojdehbakhsh, Ramin and Elliott, Lynn},
biburl = {https://www.bibsonomy.org/bibtex/21590e3ba33e9f7e0b651c1daef1645af/dblp},
booktitle = {HASE},
crossref = {conf/hase/1996},
ee = {https://doi.ieeecomputersociety.org/10.1109/HASE.1996.618591},
interhash = {55d09643e2807c3fecb0c060ea5f7b24},
intrahash = {1590e3ba33e9f7e0b651c1daef1645af},
isbn = {0-8186-7629-9},
keywords = {dblp},
pages = {176-183},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T14:59:59.000+0200},
title = {Flow analysis for concurrent, reactive, real-time systems.},
url = {http://dblp.uni-trier.de/db/conf/hase/hase1996.html#VishnuvajjalaSTME96},
year = 1996
}