( en | de | ru )

 

Disambiguierung von "Back, Ralph-Johan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Superposition and fairness in reactive system refinement.

, und . Jerusalem Conference on Information Technology, Seite 162-172. IEEE Computer Society, (1990)

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.

John Ralph

Peter Back

Artur Back

Rudolf Back

Michael Back

 

Weitere Publikationen von Autoren mit dem selben Namen

Computational Heuristics for Simplifying a Biological Model., , und . CiE, Volume 5635 von Lecture Notes in Computer Science, Seite 399-408. Springer, (2009)Hathi-2 multiprocessor system., , und . Microprocess. Microsystems, 14 (7): 457-466 (1990)Derivation of Efficient DAG Marking Algorithms., , und . POPL, Seite 20-27. ACM Press, (1983)Semantics and proof rules of invariant based programs., und . SAC, Seite 1658-1665. ACM, (2011)Incremental Software Construction with Refinement Diagrams.. AMAST, Volume 4019 von Lecture Notes in Computer Science, Seite 1. Springer, (2006)Exploring Summation and Product Operators in the Refinement Calculus., und . MPC, Volume 947 von Lecture Notes in Computer Science, Seite 128-158. Springer, (1995)Testing and Verifying Invariant Based Programs in the SOCOS Environment., , und . TAP, Volume 4454 von Lecture Notes in Computer Science, Seite 61-78. Springer, (2007)Predicate Transformers and Higher Order Logic., und . REX Workshop, Volume 666 von Lecture Notes in Computer Science, Seite 1-20. Springer, (1992)Software Development and Experimentation in an Academic Environment: The Gaudi Experience., , und . PROFES, Volume 3547 von Lecture Notes in Computer Science, Seite 414-428. Springer, (2005)Locality in Modular Systems., und . ICALP, Volume 140 von Lecture Notes in Computer Science, Seite 1-13. Springer, (1982)