Search results for: Christel Baier
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 6 > 651-666
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 6 > 649-652
Formal Aspects of Computing > 2018 > 30 > 1 > 45-75
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 2 > 179-194
Lecture Notes in Computer Science > SOFSEM 2009: Theory and Practice of Computer Science > Invited Talks > 19-33
Lecture Notes in Computer Science > CONCUR 2002 — Concurrency Theory > Probabilistic Systems > 338-354
Monographs in Theoretical Computer Science. An EATCS Series > Handbook of Weighted Automata > Applications > 519-570
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 493-506
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Computer Aided Verification > Abstraction and Refinement > 155-168
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 41-69
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 347-361
Lecture Notes in Computer Science > Implementation and Application of Automata > Contributed Talks > 51-61
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Quantitative Analysis > 408-427
Lecture Notes in Computer Science > Automata, Languages and Programming > Track B: Contributed Papers > 43-54