Hybrid systems III : verification and control /
| Άλλοι συγγραφείς: | , , |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin New York :
Springer,
c1996
|
| Σειρά: | Lecture notes in computer science ;
1066 |
| Θέματα: |