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

International Journal of Foundations of Computer Science, Volume 18

Volume 18, Number 1, February 2007

Automated Technology for Verification and Analysis (ATVA 2005) Regular Papers

Volume 18, Number 2, April 2007

Volume 18, Number 3, June 2007

Volume 18, Number 4, August 2007

Volume 18, Number 5, October 2007

Volume 18, Number 6, December 2007

Last update Wed May 22 17:44:03 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page