Search

Bibtex

Javier Troya, Antonio Vallecillo, A Rewriting Logic Semantics for ATL

Back