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

Nathalie Sznajder

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

2007
2EEAlessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari: Quantitative and Probabilistic Modeling in Pathway Logic. BIBE 2007: 922-929
2006
1EEPaul Gastin, Nathalie Sznajder, Marc Zeitoun: Distributed Synthesis for Well-Connected Architectures. FSTTCS 2006: 321-332

Coauthor Index

1Alessandro Abate [2]
2Yu Bai [2]
3Paul Gastin [1]
4Carolyn L. Talcott [2]
5Ashish Tiwari [2]
6Marc Zeitoun [1]

Colors in the list of coauthors

Copyright © Fri Jan 2 03:50:28 2009 by Michael Ley (ley@uni-trier.de)