Jump to : Note | Contact | BibTex reference | EndNote reference |

Note on this paper

To appear also in proc. ICALP 2001 Workshop on Verification of Parameterized Systems (VEPAS'01)

Contact

Vlad Rusu
Vlad.Rusu@irisa.fr

Elena Zinovieva
elena.zinovieva@irisa.fr

BibTex Reference

@article{rz01,
   Author = {Rusu, V. and Zinovieva, E.},
   Title = {Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols},
   Journal = {Electronic Notes in Theoretical Computer Science},
   Volume = {50},
   Number = {4},
   Year = {2001}
}

EndNote Reference [help]

Get EndNote Reference (.ref)