Login / Signup
Thierry Nicola
Publication Activity (10 Years)
Years Active: 2005-2008
Publications (10 Years): 0
</>
Publications
</>
Thierry Nicola
,
Frank Nießner
,
Ulrich Ultes-Nitsche
Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way.
MSVVEIS
(2008)
Thierry Nicola
,
Ulrich Ultes-Nitsche
Weakly Continuation Closed Homomorphisms on Automata.
MSVVEIS
(2008)
Thierry Nicola
,
Frank Nießner
,
Ulrich Ultes-Nitsche
Model-checking Inherently Fair Linear-time Properties.
MSVVEIS
(2005)