A compositional proof system for real-time systems based on explicit clock temporal logic

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
69 Downloads (Pure)
Originele taal-2Engels
TitelProceedings Sixth International Workshop on Software Specification and Design (Como, Italy, October 25-26, 1991)
Plaats van productieNew York
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's110-117
ISBN van geprinte versie0-8186-2320-9
DOI's
StatusGepubliceerd - 1991

Citeer dit