Verification of Hybrid Systems (abstract).

Frits W. Vaandrager Verification of Hybrid Systems (abstract). 151 1999 conf/arts/1999 ARTS http://link.springer.de/link/service/series/0558/bibs/1601/16010151.htm db/conf/arts/arts1999.html#Vaandrager99