Please note that this newsitem has been archived, and may contain outdated information or links.
25 October 2002, Computing with LLI Seminar, Massimo Franceschet
Speaker: Massimo Franceschet
(Amsterdam)
(Amsterdam)
Title: Model checking methods and tools for hybrid logics
Date: Friday 25 October 2002
Time: 13:30
Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam
For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Oct25.
Please note that this newsitem has been archived, and may contain outdated information or links.