Verification of Modal Properties Using Boolean Equation Systems

Research output: Book/Report › Book › Academic

326 Downloads (Pure)

Name	Edition versal 8
Publisher	Bertz Verlag

Keywords

@book{580727a852964026aa78c37bc9d49929,

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

keywords = "EWI-1078, IR-64253",

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

note = "Imported from DIES",

year = "1997",

language = "Undefined",

isbn = "3-929470-58-6",

series = "Edition versal 8",

publisher = "Edition versal 8",

}