A compositional proof system for real-time systems based on explicit clock temporal logic : soundness and completeness

P. Zhou, J.J.M. Hooman, R. Kuiper

Onderzoeksoutput: Boek/rapportRapportAcademic

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

Publicatie series

NaamComputing science notes
Volume9125

Citeer dit