Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
› Biblio
Biblio
List
Filter
Export 3 results:
RTF
Tagged
XML
BibTex
Sort by: [
Author
]
Keyword
Title
Type
Year
Filters:
Author
is
Ursula Goltz
[Clear All Filters]
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
G
van Glabbeek, R.
,
U. Goltz
,
C. Lippert
, and
S. Mennicke
,
"
Stronger Validity Criteria for Encoding Synchrony
",
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
, Cham, Springer International Publishing, 2019.
RTF
Tagged
XML
BibTex
Google Scholar
Goltz, U.
,
M. Magnor
,
H. - J. Appelrath
,
H. Matthies
,
W. - T. Balke
, and
L. Wolf
,
"
INFORMATIK 2012
",
Lecture Notes in Informatics
, vol. 208: Gesellschaft für Informik e.V., 2012.
RTF
Tagged
XML
BibTex
Google Scholar
M
Mennicke, S.
,
J. - W. Schicke-Uffmann
, and
U. Goltz
,
"
On the Step Branching Time Closure of Free-Choice Petri Nets
",
Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2014)
, Berlin, Germany, Springer Berlin Heidelberg, 02/2014.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar