dblp.uni-trier.de www.uni-trier.de

3. ICTAC 2006: Tunis, Tunisia

Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (Eds.): Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings. Lecture Notes in Computer Science 4281 Springer 2006, ISBN 3-540-48815-4 BibTeX

Invited Papers



Model Checking

Formal Languages

Logic and Type Theory

Real-Time and Mobility

Tutorials: Extended Abstracts

Copyright © Sat May 16 23:21:49 2009 by Michael Ley (ley@uni-trier.de)