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
[1]
Hilfe
Suche: Author="Kondratyev, A."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A symbolic algorithm for the synthesis of bounded Petri nets
J. Carmona
,
J. Cortadella
,
M. Kishinevsky
,
A. Kondratyev
,
L. Lavagno
,
A. Yakovlev
Lecture Notes in Computer Science
5062
, 2008, pp. 92-111
Signal Graphs: A Model for Designing Concurrent Logic
A.Yu. Kondratyev
,
L.Ya. Rosenblum
,
A.V. Yakovlev
Proceedings of the 1988 International Conference on Parallel Processing. Vol.~I Architecture, ICPP'88 (St.~Charles, IL, August 15-19, 1988)
, 1988, pp. 51-54