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
Hilfe
Suche: Author="Moll, Robert"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
New results on the analysis of concurrent systems with an indefinite number of processes
Mahesh Girkar
,
Robert Moll
Lecture Notes in Computer Science
836
, 1994, pp. 65-80
Vector sequence analysis and full weak safety for concurrent systems
Mahesh Girkar
,
Robert Moll
Proceedings of the 9th International Conference on Fundamentals of Computation Theory. FCT '93 (Szeged, Hungary, August 1993)
LNCS 710
, 1993, pp. 256-265
On the number of affine families of Boolean functions
Balakrishnan Krishnamurthy
,
Robert N. Moll
Information and Control
43
, 1979, pp. 327-337