( en | de | ru )

 

Disambiguierung von "Josko, Bernhard"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MCTL - An Extension of CTL for Modular Verification of Concurrent Systems.

. Temporal Logic in Specification, Volume 398 von Lecture Notes in Computer Science, Seite 165-187. Springer, (1987)

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.

Josko Ozbolt

Dominik Jóskowiak

Bernhard Rudolf Martin Maria Josko

Franz-Josef Joskowski

Bernhard Baum

The well-tempered thrombin: a systematic crystallographic and calorimetric study on the thermodynamics of serine-protease inhibition. Uni Marburg, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

A Sound and Relatively* Compete Axiomatization of Clarke's Language L4., und . Logic of Programs, Volume 164 von Lecture Notes in Computer Science, Seite 161-175. Springer, (1983)Modular Verification of Petri Nets: The Temporal Logic Approach., , , und . REX Workshop, Volume 430 von Lecture Notes in Computer Science, Seite 180-207. Springer, (1989)On Expressive Interpretations of a Hoare-Logic for Clarke's Language L4.. STACS, Volume 166 von Lecture Notes in Computer Science, Seite 73-84. Springer, (1984)MCTL - An Extension of CTL for Modular Verification of Concurrent Systems.. Temporal Logic in Specification, Volume 398 von Lecture Notes in Computer Science, Seite 165-187. Springer, (1987)A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures., und . Acta Inf., (1983)A discrete-time UML semantics for concurrency and communication in safety-critical applications., , , und . Sci. Comput. Program., 55 (1-3): 81-115 (2005)A Context Dependent Equivalence Relation between Kripke Structures.. CAV (DIMACS/AMS volume), Volume 3 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 341-358. DIMACS/AMS, (1990)Boosting re-use of embedded automotive applications through rich components, , , , , und . Proceedings of Foundations of Interface Technologies, (2005)SUCCESS Rate and Factors of IT - Projects 2006 in Germany., , und . Software Engineering Research and Practice, Seite 644-650. CSREA Press, (2007)Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML., , , und . FMCO, Volume 2852 von Lecture Notes in Computer Science, Seite 71-98. Springer, (2002)