( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compositional bisimulation metric reasoning with Probabilistic Process Calculi.

, , и . Log. Methods Comput. Sci., (2016)

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

Jürgen Larsen

Reinhard Larsen

Claudia Larsen

Larsen Schütte

 

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

Topologies of Stochastic Markov Models: Computational Aspects., , , и . CoRR, (2014)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)2018 CAV award., , , и . Formal Methods Syst. Des., 57 (1): 116-117 (2021)From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach., , и . RV, том 12399 из Lecture Notes in Computer Science, стр. 517-535. Springer, (2020)Efficient Simulation of Quantum Circuits by Model Order Reduction., , , и . CoRR, (2023)Automata Learning Meets Shielding., , , , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 335-359. Springer, (2022)Metrics for weighted transition systems: Axiomatization and complexity., , и . Theor. Comput. Sci., 412 (28): 3358-3369 (2011)Extending modal transition systems with structured labels., , , , и . Math. Struct. Comput. Sci., 22 (4): 581-617 (2012)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)