Coalgebraic Specifications and Models of deterministic Hybrid Systems (1996)
by
Bart Jacobs
| Venue: | Algebraic Methods and Software Technology, number 1101 in Lect |
| Citations: | 9 - 7 self |
Active Bibliography
No active bibliography identified.
