search result

Cover von Front Matter, Table of Contents, Preface, Committees, External Reviewers

Front Matter, Table of Contents, Preface, Committees, External Reviewers

Year: 2015
Media group: LIPIcs
Cover von 26th International Conference on Concurrency Theory
CONCUR’15, September 1 - 4, 2015, Madrid, Spain
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 42
Media group: LIPIcs
Cover von Formal techniques for networked and distributed systems
24th IFIP WG 6.1 international conference, Madrid, Spain, September 27 - 30, 2004 : proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3235
Media group: MONOGRAPHIE
Cover von Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking

Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking

Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0