Inproceedings,
Hybrid Systems with Finite Bisimulations.
G. Lafferriere, G. Pappas, and S. Sastry.Hybrid Systems, volume 1567 of Lecture Notes in Computer Science, page 186-203. Springer, (1997)
Meta data
- BibTeX key
- conf/hybrid/LafferrierePS97
- entry type
- inproceedings
- booktitle
- Hybrid Systems
- year
- 1997
- pages
- 186-203
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 1567
- crossref
- conf/hybrid/1997
- ee
- https://doi.org/10.1007/3-540-49163-5_10
- isbn
- 3-540-65643-X
- url
- http://dblp.uni-trier.de/db/conf/hybrid/hybrid97.html#LafferrierePS97
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/hybrid/LafferrierePS97
%A Lafferriere, Gerardo
%A Pappas, George J.
%A Sastry, Shankar
%B Hybrid Systems
%D 1997
%E Antsaklis, Panos J.
%E Kohn, Wolf
%E Lemmon, Michael D.
%E Nerode, Anil
%E Sastry, Shankar
%I Springer
%K dblp
%P 186-203
%T Hybrid Systems with Finite Bisimulations.
%U http://dblp.uni-trier.de/db/conf/hybrid/hybrid97.html#LafferrierePS97
%V 1567
%@ 3-540-65643-X
@inproceedings{conf/hybrid/LafferrierePS97,
added-at = {2024-05-07T00:00:00.000+0200},
author = {Lafferriere, Gerardo and Pappas, George J. and Sastry, Shankar},
biburl = {https://www.bibsonomy.org/bibtex/2de32f15a1eceb576a2be619b342e12f1/dblp},
booktitle = {Hybrid Systems},
crossref = {conf/hybrid/1997},
editor = {Antsaklis, Panos J. and Kohn, Wolf and Lemmon, Michael D. and Nerode, Anil and Sastry, Shankar},
ee = {https://doi.org/10.1007/3-540-49163-5_10},
interhash = {bbbf105b8e5a76d3f4ab7e2874b73e7e},
intrahash = {de32f15a1eceb576a2be619b342e12f1},
isbn = {3-540-65643-X},
keywords = {dblp},
pages = {186-203},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-05-13T08:39:01.000+0200},
title = {Hybrid Systems with Finite Bisimulations.},
url = {http://dblp.uni-trier.de/db/conf/hybrid/hybrid97.html#LafferrierePS97},
volume = 1567,
year = 1997
}