Skip to main navigation Skip to search Skip to main content

Proving monitors revisited : a first step towards verifying object oriented systems

  • R.T. Gerth
  • , W.P. Roever, de

Research output: Book/Report › Report › Academic

206 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages32
Publication statusPublished - 1986

Publication series

NameComputing science notes
Volume8613

Access to Document

  • 198613Final published version, 1.76 MB

    Cite this