( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modular Analysis of Tree-Topology Models.

, , , и . ICFEM, том 13478 из Lecture Notes in Computer Science, стр. 36-53. Springer, (2022)

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.

Frank Penczek

Wojciech Derwich

Wojciech Osinski

Wojciech Kowalczyk

Wojciech Wojtyna

 

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

TripICS - a Web Service Composition System for Planning Trips and Travels., , , и . Fundam. Informaticae, 157 (4): 403-425 (2018)Checking Reachability Properties for Timed Automata via SAT., , и . Fundam. Informaticae, 55 (2): 223-241 (2003)Preface., , и . Fundam. Informaticae, 146 (1): v-vi (2016)Timed Automata Based Model Checking of Timed Security Protocols., и . Fundam. Informaticae, 93 (1-3): 245-259 (2009)Preface., и . Fundam. Informaticae, (2021)Applying Modern SAT-solvers to Solving Hard Problems., , , и . Fundam. Informaticae, 165 (3-4): 321-344 (2019)Towards Quantitative Verification of Reaction Systems., , и . UCNC, том 9726 из Lecture Notes in Computer Science, стр. 142-154. Springer, (2016)SMT-Based Abstract Parametric Temporal Planning., и . Trans. Petri Nets Other Model. Concurr., (2015)Axiomatizations of Temporal Logics on Trace Systems.. STACS, том 665 из Lecture Notes in Computer Science, стр. 452-462. Springer, (1993)Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models., , , , , и . CoRR, (2023)