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="Buchs, Didier"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
StrataGEM: A generic Petri net verification framework
Edmundo López Bóbeda
,
Maximilien Colange
,
Didier Buchs
Lecture Notes in Computer Science
8489
, 2014, pp. 364-373
Unifying the semantics of modular extensions of Petri nets
Alexis Marechal
,
Didier Buchs
Lecture Notes in Computer Science
7927
, 2013, pp. 349-368
AlPiNA: A symbolic model checker
Didier Buchs
,
Steve Hostettler
,
Alexis Marechal
,
Matteo Risoldi
Lecture Notes in Computer Science
6128
, 2010, pp. 287-296
Prototyping object oriented specifications
Ali Al-Shabibi
,
Didier Buchs
,
Mathieu Buffo
,
Stanislav Chachkov
,
Ang Chen
,
David Hurzeler
Lecture Notes in Computer Science
2679
, 2003, pp. 473-482
Real-time synchronised Petri nets
Giovanna Di Marzo Serugendo
,
Dino Mandrioli
,
Didier Buchs
,
Nicolas Guelfi
Lecture Notes in Computer Science
2360
, 2002, pp. 142-162
Formal development of Actor programs using structured algebraic Petri nets
Didier Buchs
,
Nicolas Guelfi
Lecture Notes in Computer Science
694
, 1993, pp. 353-366