Dagstuhl Seminar Proceedings:
Directed Model Checking 2006
Stefan Edelkamp, Stefan Leue, Willem Visser (Eds.):
Directed Model Checking, 26.04. - 29.04.2006.
Dagstuhl Seminar Proceedings 06172 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 BibTeX
Copyright © Sat May 16 23:04:55 2009
by Michael Ley (ley@uni-trier.de)