%0 Conference Proceedings %1 DBLP:conf/eurocast/2007 %B EUROCAST %D 2007 %E Moreno-D\'ıaz, Roberto %E Pichler, Franz %E Quesada-Arencibia, Alexis %I Springer %K aided computer system %T Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers %V 4739 %@ 978-3-540-75866-2

@proceedings{DBLP:conf/eurocast/2007, added-at = {2012-10-14T13:48:00.000+0200}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2e3b11fdb994937d20159b6593913069f/daill}, booktitle = {EUROCAST}, editor = {Moreno-D\'{\i}az, Roberto and Pichler, Franz and Quesada-Arencibia, Alexis}, interhash = {7ad7eae7ed6526760253ec7ede1c30a2}, intrahash = {e3b11fdb994937d20159b6593913069f}, isbn = {978-3-540-75866-2}, keywords = {aided computer system}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2012-10-14T13:48:00.000+0200}, title = {Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers}, volume = 4739, year = 2007 }