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

Arnaud Sangnier

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

2008
4EEStéphane Demri, Ranko Lazic, Arnaud Sangnier: Model Checking Freeze LTL over One-Counter Automata. FoSSaCS 2008: 490-504
3EEAlain Finkel, Arnaud Sangnier: Reversal-Bounded Counter Machines Revisited. MFCS 2008: 323-334
2EEStéphane Demri, Ranko Lazic, Arnaud Sangnier: Model checking memoryful linear-time logics over one-counter automata CoRR abs/0810.5517: (2008)
2007
1EEDavide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston: From Time Petri Nets to Timed Automata: An Untimed Approach. TACAS 2007: 216-230

Coauthor Index

1Davide D'Aprile [1]
2Stéphane Demri [2] [4]
3Susanna Donatelli [1]
4Alain Finkel [3]
5Ranko Lazic (R. S. Lazic) [2] [4]
6Jeremy Sproston [1]

Colors in the list of coauthors

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