Meta data
- BibTeX key
- conf/synasc/SumanP08
- entry type
- inproceedings
- booktitle
- SYNASC
- year
- 2008
- pages
- 480-486
- publisher
- IEEE Computer Society
- crossref
- conf/synasc/2008
- ee
- https://doi.ieeecomputersociety.org/10.1109/SYNASC.2008.9
- isbn
- 978-0-7695-3523-4
- url
- http://dblp.uni-trier.de/db/conf/synasc/synasc2008.html#SumanP08
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/synasc/SumanP08
%A Suman, P. Vijay
%A Pandya, Paritosh K.
%B SYNASC
%D 2008
%E Negru, Viorel
%E Jebelean, Tudor
%E Petcu, Dana
%E Zaharie, Daniela
%I IEEE Computer Society
%K dblp
%P 480-486
%T Timed and Hybrid Automata in SAL.
%U http://dblp.uni-trier.de/db/conf/synasc/synasc2008.html#SumanP08
%@ 978-0-7695-3523-4
@inproceedings{conf/synasc/SumanP08,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Suman, P. Vijay and Pandya, Paritosh K.},
biburl = {https://www.bibsonomy.org/bibtex/20655252cf390bb0c269dc90094ea103b/dblp},
booktitle = {SYNASC},
crossref = {conf/synasc/2008},
editor = {Negru, Viorel and Jebelean, Tudor and Petcu, Dana and Zaharie, Daniela},
ee = {https://doi.ieeecomputersociety.org/10.1109/SYNASC.2008.9},
interhash = {a01a6994206bda65f0afd2ba47a9046c},
intrahash = {0655252cf390bb0c269dc90094ea103b},
isbn = {978-0-7695-3523-4},
keywords = {dblp},
pages = {480-486},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T19:13:43.000+0200},
title = {Timed and Hybrid Automata in SAL.},
url = {http://dblp.uni-trier.de/db/conf/synasc/synasc2008.html#SumanP08},
year = 2008
}