Moritz Löser, Martin Leucker, Dirk Nowotka, Joachim Rischen. Äquivalenzklassen mit Zeit und Zuständen. In Ludger Porada, editor, Informatiktage 2009: Fachwissenschaftlicher Informatik-Kongress 27. und 28. März 2009, B-IT Bonn-Aachen International Center for Information Technology in Bonn. Volume S-8 of LNI, pages 87-90, GI, 2009.
Abstract is missing.