Specifying message passing and real-time systems (extended abstract)

R.L.C. Koymans

Onderzoeksoutput: Boek/rapportRapportAcademic

36 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's12
StatusGepubliceerd - 1986

Publicatie series

NaamComputing science notes
Volume8601

Citeer dit