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="Klai, Kais"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Verification of reachability properties for Time Petri Nets
Kais Klai
,
Naim Aber
,
Laure Petrucci
Lecture Notes in Computer Science
8169
, 2013, pp. 159-170
The NEO protocol for large-scale distributed database systems: Modelling and initial verification
Christine Choppy
,
Anna Dedova
,
Sami Evangelista
,
Silien Hong
,
Kais Klai
,
Laure Petrucci
Lecture Notes in Computer Science
6128
, 2010, pp. 145-164
MC-SOG: An LTL model checker based on symbolic observation graphs
Kais Klai
,
Denis Poitrenaud
Lecture Notes in Computer Science
5062
, 2008, pp. 288-306
On the equivalence between liveness and deadlock-freeness in Petri nets
Kamel Barkaoui
,
Jean-Michel Couvreur
,
Kais Klai
Lecture Notes in Computer Science
3536
, 2005, pp. 90-107