Home
Add
Open Access Books
Get on Google Play
Click here to donate your five minutes and submit the table of contents of a book.
Search from the table of contents of 2.5 million books
Every Word
Any Word
Exact Word
Exact Phrase
Criteria
Table of Contents
Chapter Authors
──────────
Books
Book Authors
Publisher
Publishing Date
──────────
Thesis
Thesis Authors
Field
Search
Search I can Access
Query minimum length 2 and maximum length 100
Advanced Search (Beta)
Home
> Jan Otop
"Jan Otop" appeared in Books and Chapters
Books
Chapters
10
20
30
50
100
200
500
entries per page
Filter:
Showing 0 to 0 of 0 entries
Book
Author(s)
Year
Publisher
No data available in table
Boook
Author(s)
Year
Publisher
Showing 0 to 0 of 0 entries
«
‹
›
»
10
20
30
50
100
200
500
entries per page
Filter:
Showing 1 to 7 of 7 entries
Chapter
Author(s)
Book
Book Authors
Year
Publisher
From Model Checking to Model Measuring
Thomas A. Henzinger
;
Jan Otop
CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Pedro R. D'Argenio
;
Hernan Melgratti
2013
Springer Berlin Heidelberg
On a Semantic Subsumption Test
Jerzy Marcinkowski
;
Jan Otop
;
Grzegorz Stelmaszek
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Franz Baader
;
Andrei Voronkov
2005
Springer Berlin Heidelberg
Lipschitz Robustness of Timed I/O Systems
Thomas A. Henzinger
;
Jan Otop
;
Roopsha Samanta
Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Barbara Jobstmann
;
K. Rustan M. Leino
1st ed. 2016
Springer Berlin Heidelberg
Quantitative Monitor Automata
Krishnendu Chatterjee
;
Thomas A. Henzinger
;
Jan Otop
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Xavier Rival
1st ed. 2016
Springer Berlin Heidelberg
Computing Average Response Time
Krishnendu Chatterjee
;
Thomas A. Henzinger
;
Jan Otop
Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Marten Lohstroh
;
Patricia Derler
;
Marjan Sirjani
1st ed. 2018
Springer International Publishing
Edit Distance for Pushdown Automata
Krishnendu Chatterjee
;
Thomas A. Henzinger
;
Rasmus Ibsen-Jensen
;
Jan Otop
Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Magnús M. Halldórsson
;
Kazuo Iwama
;
Naoki Kobayashi
;
Bettina Speckmann
2015
Springer Berlin Heidelberg
Quality control and verification of precipitation observations, estimates, and forecasts
Jan Szturc
;
Katarzyna Ośródka
;
Anna Jurczyk
;
Irena Otop
;
Joanna Linkowska
;
Bogdan Bochenek
;
Magdalena Pasierb
Precipitation Science
Silas Michaelides
2021
Elsevier
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Showing 1 to 7 of 7 entries
«
‹
1
›
»