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
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.