( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of Concurrent Objects with Asynchronous Method Calls.

, , и . SwSTE, стр. 141-150. IEEE Computer Society, (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.

Owe Reimers

Sverrir Olafsson

Sven Olaf

Owe Hansen

Owe Koch

 

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

Compositional Reasoning about Shared Futures., , и . SEFM, том 7504 из Lecture Notes in Computer Science, стр. 94-108. Springer, (2012)Safe locking for multi-threaded Java with exceptions., , , и . J. Log. Algebraic Methods Program., 81 (3): 257-283 (2012)A modular reasoning system using uninterpreted predicates for code reuse., , , и . J. Log. Algebraic Methods Program., (2018)A Bibliography of Ole-Johan Dahl., , и . Essays in Memory of Ole-Johan Dahl, том 2635 из Lecture Notes in Computer Science, стр. 8-14. Springer, (2004)Object-Oriented Specification and Open Distributed Systems., и . Essays in Memory of Ole-Johan Dahl, том 2635 из Lecture Notes in Computer Science, стр. 137-164. Springer, (2004)Lazy Behavioral Subtyping., , , и . FM, том 5014 из Lecture Notes in Computer Science, стр. 52-67. Springer, (2008)Partial Logics Reconsidered: A Conservative Approach.. Formal Aspects Comput., 5 (3): 208-223 (1993)A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems., и . FoVeOOS, том 7421 из Lecture Notes in Computer Science, стр. 105-122. Springer, (2011)Dynamic Resource Reallocation between Deployment Components., , , и . ICFEM, том 6447 из Lecture Notes in Computer Science, стр. 646-661. Springer, (2010)Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory., , , и . ICECCS, стр. 253-262. IEEE Computer Society, (2011)