|
Search the dblp DataBase
Pierre Moro:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar
Programs with Lists Are Counter Automata. [Citation Graph (0, 0)][DBLP] CAV, 2006, pp:517-531 [Conf]
- Paul Gastin, Pierre Moro, Marc Zeitoun
Minimization of Counterexamples in SPIN. [Citation Graph (0, 0)][DBLP] SPIN, 2004, pp:92-108 [Conf]
- Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar
Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. [Citation Graph (0, 0)][DBLP] TACAS, 2005, pp:13-29 [Conf]
- Paul Gastin, Pierre Moro
Minimal Counterexample Generation for SPIN. [Citation Graph (0, 0)][DBLP] SPIN, 2007, pp:24-38 [Conf]
Search in 0.001secs, Finished in 0.001secs
|