Legay Axel

See author's contact details

Main Referenced Co-authors

Wolper, Pierre (7)

Boigelot, Bernard (2)

Cantin, François (2)

Bouajjani, Ahmed (1)

Main Referenced Keywords

verification (3); automata (2); model checking (2); Regular Model Checking (2); (omega)-regular model checking (1);

Main Referenced Disciplines

Computer science (8)

Publications (total 8)

Search in publications

The most downloaded

241 downloads

Boigelot, B., Legay, A., & Wolper, P. (2004). Omega-regular model checking. Lecture Notes in Computer Science, 2988, 561-575. doi:10.1007/978-3-540-24730-2_41 https://hdl.handle.net/2268/18666

The most cited

72 citations (Scopus®)

Boigelot, B., Legay, A., & Wolper, P. (2003). Iterating transducers in the large. Lecture Notes in Computer Science, 2725, 223-235. doi:10.1007/978-3-540-45069-6_24 https://hdl.handle.net/2268/18766