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

Document Versions

Coalgebraic Specifications and Models of deterministic Hybrid Systems –Bart Jacobs — 1996 — Algebraic Methods and Software Technology, number 1101 in Lect