Concurency Verification, Introduction to Compositional and Noncompositional Methods

W.P. de Roever, F.S. de Boer, J. Hooman, Y. Lakhnech, M. Poel, J. Zwiers

Research output: Book/ReportBookAcademic

Original languageUndefined/Unknown
Place of PublicationCambridge, England
PublisherCambridge University Press
Publication statusPublished - 2001

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this