( en | de | ru )

 

Disambiguation of "Josko, Bernhard"

Author of the publication

copydeleteadd this publication to your clipboard
SUCCESS 2006 Motivation, Vorgehensweise und Ergebnisse.

, , and . GI Jahrestagung (1), volume P-93 of LNI, page 295-301. GI, (2006)

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. You can also use the button next to the name to display some publications already assigned to the person.

Josko Ozbolt

Dominik Jóskowiak

Bernhard Rudolf Martin Maria Josko

Franz-Josef Joskowski

Bernhard Füger

Neue heterocyclische Sulfoximine. TU Aachen, (2009)
 

Other publications of authors with the same name

Modular Verification of Petri Nets: The Temporal Logic Approach., , , and . REX Workshop, volume 430 of Lecture Notes in Computer Science, page 180-207. Springer, (1989)A Sound and Relatively* Compete Axiomatization of Clarke's Language L4., and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 161-175. Springer, (1983)On Expressive Interpretations of a Hoare-Logic for Clarke's Language L4.. STACS, volume 166 of Lecture Notes in Computer Science, page 73-84. Springer, (1984)MCTL - An Extension of CTL for Modular Verification of Concurrent Systems.. Temporal Logic in Specification, volume 398 of Lecture Notes in Computer Science, page 165-187. Springer, (1987)A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures., and . Acta Inf., (1983)A discrete-time UML semantics for concurrency and communication in safety-critical applications., , , and . Sci. Comput. Program., 55 (1-3): 81-115 (2005)A Context Dependent Equivalence Relation between Kripke Structures.. CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 341-358. DIMACS/AMS, (1990)Verification of timing Properties of VHDL., , and . CAV, volume 697 of Lecture Notes in Computer Science, page 225-236. Springer, (1993)Verifying the Correctness of AADL Modules Using Model Checking.. REX Workshop, volume 430 of Lecture Notes in Computer Science, page 386-400. Springer, (1989)Metamodels in Europe: Languages, Tools, and Applications., , , , , , , , , and 4 other author(s). IEEE Des. Test Comput., 26 (3): 38-53 (2009)