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

1. ICTAC 2004: Guiyang, China

Zhiming Liu, Keijiro Araki (Eds.): Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3407 Springer 2005, ISBN 3-540-25304-1 BibTeX

Invited Speakers

Concurrent and Distributed Systems

Model Integration and Theory Unification

Program Reasoning and Testing


Theories of Programming and Programming Languages

Real-Time and Co-design

Automata Theory and Logics


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