A checker for modal formulas for processes with data

Onderzoeksoutput: Boek/rapportRapportAcademic

35 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's19
StatusGepubliceerd - 2002

Publicatie series

NaamComputer science reports
Volume0216
ISSN van geprinte versie0926-4515

Citeer dit