A case study in proofs about realtime programming and asynchronous message passing (A formal system for a telecommunication language)

C.P.J. Koymans, W-P de Roever

Research output: Book/ReportReportAcademic

Original languageUndefined/Unknown
Place of PublicationUtrecht
PublisherUnknown Publisher
Volume83-05
EditionRUU-CS
ISBN (Print)0924-3275
Publication statusPublished - 1983

Keywords

  • Wiskunde en Informatica (WIIN)
  • Mathematics
  • Informatica
  • Landbouwwetenschappen
  • Natuurwetenschappen

Cite this