<?xml version="1.0"?>
<dblp>
<proceedings key="conf/eurocast/2005" mdate="2005-10-26">
<editor>Roberto Moreno-D&#237;az</editor>
<editor>Franz Pichler</editor>
<editor>Alexis Quesada-Arencibia</editor>
<title>Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers</title>
<year>2005</year>
<volume>3643</volume>
<isbn>3-540-29002-8</isbn>
<booktitle>EUROCAST</booktitle>
<series href="db/journals/lncs.html">Lecture Notes in Computer Science</series>
<publisher>Springer</publisher>
<url>db/conf/eurocast/eurocast2005.html</url>
</proceedings>

</dblp>
