Formal description of real-time systems: a review (1988)

by M JOSEPH, A GOSWAMI
Venue:Information and Software Technology vol.31 no.2