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=Leibniz International Proceedings in Informatics (LIPIcs) AND Volume=29
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Parameterized communicating automata: Complementation and model checking
Benedikt Bollig
,
Paul Gastin
,
Akshay Kumar
Leibniz International Proceedings in Informatics (LIPIcs)
29
, 2014, pp. 625-637
Distributed synthesis for acyclic architectures
Anca Muscholl
,
Igor Walukiewicz
Leibniz International Proceedings in Informatics (LIPIcs)
29
, 2014, pp. 639-651
Verification of dynamic register automata
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
Ahmet Kara
,
Othmane Rezine
Leibniz International Proceedings in Informatics (LIPIcs)
29
, 2014, pp. 653-665
Seiten
<
1
2
3