Coalgebraic Specifications and Models of deterministic Hybrid Systems (1996)

by Bart Jacobs
Venue:Algebraic Methods and Software Technology, number 1101 in Lect