Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

5 December 2003, Computing with LLI Seminar, Roberto Sebastiani

Speaker: Roberto Sebastiani (Trento)
Title: "More Deterministic" vs. "Smaller"
Büchi Automata for Efficient LTL Model Checking
Date: Friday 5 December 2003
Time: 13:30
Location: Room T.201 (Marx Zaal), Sarphatistraat 104, Amsterdam

For abstracts and more information, see http://lit.science.uva.nl/News/seminar03-2.html#Dec05 .

Please note that this newsitem has been archived, and may contain outdated information or links.