DaftarIsitemplate
 
Call Number
005.369 Ant h
Title
A Note on abstract interpretation strategies for hybrid automata, (LNCS-Lecture Notes in Computer Science 999)Hal. 252-293
Author
Thomas A. Henzinger;
Publisher
Springer, 1995
Subject
Location