search result

Cover von Beyond the finite
new challenges in verification and semistructured data
Search for this author
Year: 2008
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 08171
Media group: DAGSTUHL-SEMINAR-PRO
OPEN V 11.1.0.0