Skip to content

Object-Oriented Specification of Reactive Systems.

H.-M. Jrvinen, Reino Kurki-Suonio, Markku Sakkinen, Kari Syst

VenueA*ICSE
Year1990
ProceedingsICSE

Browse the full ICSE paper archive.