n a Temporal Logic for Object-Based Systems

Research output: Book/Report › Report › Professional

Original language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	17
Publication status	Published - 2000

Name	CTIT Technical Report Series
No.	00-06
ISSN (Print)	1381-3625

Keywords

@book{01972dc2a9474bbbbf941f210c8c5d5d,

title = "n a Temporal Logic for Object-Based Systems",

keywords = "METIS-119068",

author = "D.S. Distefano and Katoen, {Joost P.} and Arend Rensink",

year = "2000",

language = "Undefined",

series = "CTIT Technical Report Series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "00-06",

address = "Netherlands",

}