Last update: Sun Jun 12 03:08:01 2016
@Article{Lafferriere:1999:HSF,
author = "Gerardo Lafferriere and George J. Pappas and Shankar
Sastry",
title = "Hybrid Systems with Finite Bisimulations",
journal = j-LECT-NOTES-COMP-SCI,
volume = "1567",
pages = "186--203",
year = "1999",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Tue Feb 5 11:53:46 MST 2002",
bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t1567.htm;
http://www.math.utah.edu/pub/tex/bib/lncs1999a.bib",
URL = "http://link.springer-ny.com/link/service/series/0558/bibs/1567/15670186.htm;
http://link.springer-ny.com/link/service/series/0558/papers/1567/15670186.pdf",
acknowledgement = ack-nhfb,
keywords = "hybrid systems",
}