Temporele logica specificatie van message passing en real-time systemen

R.L.C. Koymans

Research output: Book/ReportReportAcademic

48 Downloads (Pure)
Original languageDutch
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages9
Publication statusPublished - 1987

Publication series

NameComputing science notes
Volume8706

Cite this