search result

Cover von Dependable Software Engineering
Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24 - 27, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12153
Media group: MONOGRAPHIE
Cover von Part II.; Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6 - 11, 2019, Proceedings, Part II
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 11428
Media group: MONOGRAPHIE
Cover von Part I.; Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6 - 11, 2019, Proceedings, Part I
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science : ARCoSS; 11427
Media group: MONOGRAPHIE
Cover von LIPIcs, Volume 118, CONCUR'18, Complete Volume

LIPIcs, Volume 118, CONCUR'18, Complete Volume

Year: 2018
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2018
Media group: LIPIcs
Cover von 29th International Conference on Concurrency Theory
CONCUR 2018 : September 4 - 7, 2018 : Beijing, China
Search for this author
Year: 2018
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 118
Media group: LIPIcs
Cover von Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12 - 15, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9364
Media group: MONOGRAPHIE
Cover von Databases Theory and Applications
27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28 - 29, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9877
Media group: MONOGRAPHIE
Cover von Probabilistic Logical Characterization; 2
article : pp. 154-172
Search for this author
Year: 2011
Publisher: Amsterdam, Elsevier
Count: 2
Media group: ARTICLE
Cover von Lazy Probabilistic Model Checking without Determinisation

Lazy Probabilistic Model Checking without Determinisation

Year: 2015
Media group: LIPIcs
OPEN V 11.1.0.0