Combining Temporal Specification Techniques

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	ICTL '94 Temporal Logic
Publisher	Springer Verlag
Publication date	1994
Pages	1-16
Publication status	Published - 1994
Event	ICTL '94 Temporal Logic - Duration: 1 Jan 1994 → …

Conference	ICTL '94 Temporal Logic
Period	01/01/1994 → …

OpenUrl availability

@inproceedings{6e2442aef06c4ff38a9103090ea50a80,

title = "Combining Temporal Specification Techniques",

author = "S{\o}rensen, \{Morten Ulrik\} and Hansen, \{Odd Erik\} and L{\o}vengreen, \{Hans Henrik\} and D.M. Gabbay and H.J. Ohlbach",

year = "1994",

language = "English",

pages = "1--16",

booktitle = "ICTL '94 Temporal Logic",

publisher = "Springer Verlag",

address = "Germany",

note = "ICTL '94 Temporal Logic ; Conference date: 01-01-1994",

}