Verification of Modal Properties Using Infinite Boolean Equation Systems

Research output: Book/Report › Report › Other research output

83 Downloads (Pure)

Original language	Undefined
Place of Publication	Nijmegen
Publisher	Radboud Universiteit Nijmegen
Publication status	Published - 1997

Name	ICIS Technical Reports
Publisher	Computing Science Institute, University of Nijmegen
No.	CSI-R9
ISSN (Print)	1571-5078

Keywords

@book{623a4b325d8840418fef67b84f7fcd0c,

title = "Verification of Modal Properties Using Infinite Boolean Equation Systems",

keywords = "IR-64338, EWI-1103",

author = "Mader, \{Angelika H.\}",

note = "Imported from DIES",

year = "1997",

language = "Undefined",

series = "ICIS Technical Reports",

publisher = "Radboud Universiteit Nijmegen",

number = "CSI-R9",

}