dblp.uni-trier.dewww.uni-trier.de

Thierry Nicola

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3 Thierry Nicola, Ulrich Ultes-Nitsche: Weakly Continuation Closed Homomorphisms on Automata. MSVVEIS 2008: 39-48
2 Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche: Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way. MSVVEIS 2008: 49-58
2005
1 Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche: Model-checking Inherently Fair Linear-time Properties. MSVVEIS 2005: 3-8

Coauthor Index

1Frank Nießner [1] [2]
2Ulrich Ultes-Nitsche (Ulrich Nitsche) [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)