B. Josko
发表
W. Damm,
A. Votintseva,
Alexander Metzner,
2005
.
W. Damm,
H. Hungar,
Udo Brockmeyer,
2007
.
Bernhard Josko,
Werner Damm,
Rainer Schlör,
1995,
Specification and validation methods.
Bernhard Josko,
B. Josko,
1989,
REX Workshop.
Bernhard Josko,
B. Josko,
1987,
ICALP.
Hardi Hungar,
Bernhard Josko,
Werner Damm,
1999
.
Amir Pnueli,
Hardi Hungar,
Bernhard Josko,
1997,
COMPOS.
Amir Pnueli,
Bernhard Josko,
Werner Damm,
2002,
FMCO.
Bernhard Josko,
Susanne Graf,
Michael Winokur,
2008
.
Bernhard Josko,
B. Josko,
1984,
STACS.
Qin Ma,
Bernhard Josko,
Alexander Metzner,
2008
.
Bernhard Josko,
Werner Damm,
W. Damm,
1983,
Acta Informatica.
Wilhelm Hasselbring,
Thomas Wolf,
Bernhard Josko,
2004,
Informatik-Spektrum.
Bernhard Josko,
B. Josko,
1981,
Theoretical Computer Science.
Amir Pnueli,
Bernhard Josko,
Werner Damm,
2005,
Sci. Comput. Program..
Amir Pnueli,
Bernhard Josko,
Werner Damm,
2001
.
Bernhard Josko,
Costas Courcoubetis,
Werner Damm,
1993,
CAV.