Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Koutny, M."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Infinite process semantics of inhibitor nets
H.C.M. Kleijn
,
M. Koutny
Lecture Notes in Computer Science
4024
, 2006, pp. 282-301
Process semantics of general inhibitor nets
H.C.M. Kleijn
,
M. Koutny
Information and Computation
190
(1), 2004, pp. 18-69
On equivalent execution semantics of concurrent systems
R. Janicki
,
M. Koutny
Lecture Notes in Computer Science
266
, 1987, pp. 89-103
Concurrent and maximally concurrent evolution of nonsequential systems
R. Janicki
,
P.E. Lauer
,
M. Koutny
,
R. Devillers
Theoretical Computer Science
43
(2-3), 1986, pp. 213-238
The Merlin-Randell problem of train journeys
M. Koutny
Acta Informatica
23
(4), 1986, pp. 429-463