Coppo - oretical Computer Science 9th Italian Conference ICTCS 2005 - X555z

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science.

Theoretical Computer Science 8th Italian Conference ICTCS 2003 Be

Theoretical Computer Science: 6th Ifip Wg 2.2 International Conference, Tcs 2010

Proceedings of the 9th International Conference on Computational

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto

Verifying Temporal Properties of Systems (Progress in Theoretical Computer Scien

Theoretical Computer Science : 6th Ifip Wg 2.2 International Conference Tcs 2...