Combining logic and differential equations for describing real-world systems (1989)

by E Sandewall
Venue:In Proc. of KR