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: Series=LNCS AND Volume=5062

• A monitoring toolset for PAOSE
  Lawrence Cabac, Till Dörges, Heiko Rölke
  Lecture Notes in Computer Science 5062, 2008, pp. 399-408
• Animated graphical user interface generator framework for Input-Output Place-Transition Petri net models
  João Lourenco, Luís Gomes
  Lecture Notes in Computer Science 5062, 2008, pp. 409-418
• HYPENS: A Matlab tool for timed discrete, continuous and Hybrid Petri nets
  Fausto Sessego, Alessandro Giua, Carla Seatzu
  Lecture Notes in Computer Science 5062, 2008, pp. 419-428