Вы здесь

Kwiatkowska M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Defining Process Fairness for Non-Interleaving Concurrency 1900 Kwiatkowska M. Lecture Notes in Computer Science 05.03.1991
СТ Infinite Behaviour and Fairness in Concurrent Constraint Programming 1993 Kwiatkowska M. Lecture Notes in Computer Science 11.06.1993
СТ A Hierarchy of Partial Order Temporal Properties 1994 Kwiatkowska M., Peled D., Penczek W. Lecture Notes in Artificial Intelligence 12.08.1994
СТ On Duality for the Modal -Calculus 1994 Ambler S., Kwiatkowska M., Measor M. Lecture Notes in Computer Science 25.08.1994
СТ Probabilistic Metric Semantics for a Simple Language with Recursion 1996 Kwiatkowska M., Norman G. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1996 11.10.1996
СТ Automatic Verification of Real-Time Systems with Discrete Probability Distributions 1999 Kwiatkowska M., Norman G., Segala R., Sproston J. Lecture Notes in Computer Science 18.06.1999
СТ Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation 2000 De Alfaro L., Kwiatkowska M., Norman G., Parker D., Segala R. Lecture Notes in Computer Science 26.04.2000
СТ Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach 2002 Kwiatkowska M., Norman G., Parker D. Lecture Notes in Computer Science 21.05.2002
СТ PRISM: Probabilistic Symbolic Model Checker 2002 Kwiatkowska M., Norman G., Parker D. Lecture Notes in Computer Science 29.05.2002
СТ Verifying Randomized Byzantine Agreement 1900 Kwiatkowska M., Norman G. Lecture Notes in Computer Science 29.11.2002
СТ Stochastic Transition Systems for Continuous State Spaces and Non-determinism 2005 Cattani S., Segala R., Kwiatkowska M., Norman G. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.07.2005
СТ Symmetry Reduction for Probabilistic Model Checking 2006 Kwiatkowska M., Norman G., Parker D. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.09.2006

Редактор: