Jump to : Contact | BibTex reference | EndNote reference |

LMSC12

N. Bertrand, T. Jéron, Stainer A, M. Krichen. Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata. Logical methods in Computer Science, 8(4), March 2012.

Contact

Nathalie Bertrand http://www.irisa.fr/prive/nbertran/
Thierry Jéron http://www.irisa.fr/prive/jeron

BibTex Reference

@article{LMSC12,
   Author = {Bertrand, N. and Jéron, T. and A, Stainer and Krichen, M.},
   Title = {Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata},
   Journal = {Logical methods in Computer Science},
   Volume = {8},
   Number = {4},
   Month = {March},
   Year = {2012}
}

EndNote Reference [help]

Get EndNote Reference (.ref)