Coalgebraic Specifications and Models of deterministic Hybrid Systems (1996)

Cached

Download Links

by Bart Jacobs
Venue:Algebraic Methods and Software Technology, number 1101 in Lect
Citations:9 - 7 self

Active Bibliography

No active bibliography identified.