"Translation of Fault Trees to Timed Computation Tree Logic"

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Konferenz	HASE 2005
Zeitraum	1/01/06 → …

Research Field

@inproceedings{095b8917b1814bde87d1d20e49a7e5b2,

title = "{"}Translation of Fault Trees to Timed Computation Tree Logic{"}",

author = "Georg Weissenbacher and Wolfgang Herzner and Egbert Althammer",

year = "2006",

language = "English",

isbn = "0-7695-2377-3",

pages = "21--22",

booktitle = "HASE 2005",

note = "HASE 2005 ; Conference date: 01-01-2006",

}