( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reactive Systems: Modelling, Specification and Verification

, , , и . Cambridge University Press, (августа 2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Patrick Larsen

Reinhard Larsen

Jürgen Larsen

Claudia Larsen

Larsen Schütte

 

Другие публикации лиц с тем же именем

From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach., , и . RV, том 12399 из Lecture Notes in Computer Science, стр. 517-535. Springer, (2020)Topologies of Stochastic Markov Models: Computational Aspects., , , и . CoRR, (2014)Efficient Simulation of Quantum Circuits by Model Order Reduction., , , и . CoRR, (2023)2018 CAV award., , , и . Formal Methods Syst. Des., 57 (1): 116-117 (2021)Model-Based Verification and Analysis for Real-Time Systems., , и . Software and Systems Safety - Specification and Verification, том 30 из NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)Automata Learning Meets Shielding., , , , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 335-359. Springer, (2022)A modal specification theory for components with data., , , , и . Sci. Comput. Program., (2014)L*-based learning of Markov decision processes (extended version)., , , , и . Formal Aspects Comput., 33 (4-5): 575-615 (2021)Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation., , , , , , , , , и 1 other автор(ы). Petri Nets, том 10258 из Lecture Notes in Computer Science, стр. 139-158. Springer, (2017)Fluid Model-Checking in UPPAAL for Covid-19., , , , , и . ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 385-403. Springer, (2020)