( en | de | ru )

 

Disambiguierung von "Owe, Olaf"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compositional Reasoning about Shared Futures.

, , und . SEFM, Volume 7504 von Lecture Notes in Computer Science, Seite 94-108. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Owe Reimers

Sverrir Olafsson

Sven Olaf

Owe Hansen

Owe Piening

 

Weitere Publikationen von Autoren mit dem selben Namen

A Bibliography of Ole-Johan Dahl., , und . Essays in Memory of Ole-Johan Dahl, Volume 2635 von Lecture Notes in Computer Science, Seite 8-14. Springer, (2004)Object-Oriented Specification and Open Distributed Systems., und . Essays in Memory of Ole-Johan Dahl, Volume 2635 von Lecture Notes in Computer Science, Seite 137-164. Springer, (2004)Lazy Behavioral Subtyping., , , und . FM, Volume 5014 von Lecture Notes in Computer Science, Seite 52-67. Springer, (2008)Compositional Reasoning about Shared Futures., , und . SEFM, Volume 7504 von Lecture Notes in Computer Science, Seite 94-108. Springer, (2012)Safe locking for multi-threaded Java with exceptions., , , und . J. Log. Algebraic Methods Program., 81 (3): 257-283 (2012)A modular reasoning system using uninterpreted predicates for code reuse., , , und . J. Log. Algebraic Methods Program., (2018)Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory., , , und . ICECCS, Seite 253-262. IEEE Computer Society, (2011)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., und . FoVeOOS, Volume 7421 von Lecture Notes in Computer Science, Seite 105-122. Springer, (2011)Dynamic Resource Reallocation between Deployment Components., , , und . ICFEM, Volume 6447 von Lecture Notes in Computer Science, Seite 646-661. Springer, (2010)