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="Miner, Andrew S."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Efficient reachability set generation and storage using decision diagrams
Andrew S. Miner
,
Gianfranco Ciardo
Lecture Notes in Computer Science
1639
, 1999, pp. 6-25
The fluid stochastic Petri net simulator
David M. Nicol
,
Andrew S. Miner
Proceedings of the 6th International Workshop on Petri Nets and Performace Models, PNPM'95 (Durham, North Carolina, October 3-6, 1995)
, 1995, pp. 214-215