Sébastien Grivet

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2001

2 Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud: Unfolding of Products of Symmetrical Petri Nets. ICATPN 2001: 121-143

2000

1 Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud: Designing a LTL Model-Checker Based on Unfolding Graphs. ICATPN 2000: 123-145

	2001
2		Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud: Unfolding of Products of Symmetrical Petri Nets. ICATPN 2001: 121-143
	2000
1		Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud: Designing a LTL Model-Checker Based on Unfolding Graphs. ICATPN 2000: 123-145

Coauthor Index