A compositional proof system for dynamic proces creation

F.S. Boer, de

Onderzoeksoutput: Boek/rapportRapportAcademic

32 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's24
StatusGepubliceerd - 1991

Publicatie series

NaamComputing science notes
Volume9128

Citeer dit