( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Semantic models of a timed distributed dataspace architecture.

, и . Theor. Comput. Sci., 331 (2-3): 291-323 (2005)

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.

Silvia De Pol

Jaco Vangronsveld

Hartmut Jaco

Klaus Jaco

Johanna Pol

 

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

TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking., , , и . CCECE, стр. 620-623. IEEE, (2006)Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking., и . CoRR, (2015)Explicit state model checking with generalized Büchi and Rabin automata., , и . SPIN, стр. 50-59. ACM, (2017)A Distributed Hash Table for Shared Memory., , и . PPAM (2), том 9574 из Lecture Notes in Computer Science, стр. 15-24. Springer, (2015)Parameter Synthesis Algorithms for Parametric Interval Markov Chains., и . FORTE, том 10854 из Lecture Notes in Computer Science, стр. 121-140. Springer, (2018)Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis., и . NFM, том 9690 из Lecture Notes in Computer Science, стр. 255-271. Springer, (2016)Applying Model-Based Testing to HTML Rendering Engines - A Case Study., и . TestCom/FATES, том 5047 из Lecture Notes in Computer Science, стр. 250-265. Springer, (2008)Read, Write and Copy Dependencies for Symbolic Model Checking., , , и . Haifa Verification Conference, том 8855 из Lecture Notes in Computer Science, стр. 204-219. Springer, (2014)Equivalent Semantic Models for a Distributed Dataspace Architecture., и . FMCO, том 2852 из Lecture Notes in Computer Science, стр. 182-201. Springer, (2002)Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps., , , , , и . FMICS, том 12863 из Lecture Notes in Computer Science, стр. 3-20. Springer, (2021)