Formal verification of web applications modeled by communicating automata (2004)

by M Haydar, A Petrenko, H Sahraoui
Venue:Proc. of FORTE 2004, volume 3235 of Lecture Notes in Computer Science