rz01

V. Rusu, E. Zinovieva. Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols. Electronic Notes in Theoretical Computer Science, To appear also in proc. ICALP 2001 Workshop on Verification of Parameterized Systems (VEPAS'01), 50(4), 2001.

Contact

Vlad Rusu http://www.irisa.fr/vertecs/Equipe/Rusu/vlad-rusu.html
Elena Zinovieva http://www.irisa.fr/prive/lenaz

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)