Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}