Equivalence checking for infinite systems using parameterized Boolean equation systems

T. Chen, B. Ploeger, J.C. Pol, van de, T.A.C. Willemse

Onderzoeksoutput: Boek/rapportRapportAcademic

29 Citaten (Scopus)
69 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's23
StatusGepubliceerd - 2007

Publicatie series

NaamComputer science reports
Volume0714
ISSN van geprinte versie0926-4515

Citeer dit