R. Kocman, Z. Křivka: Jumping Finite Automata: New Results

FIT Božetěchova 2, room G202, 10:00-11:00, 5.12.2016

The seminar is organized by the Formal Model Research Group at the Department of Information Systems, Faculty of Information Technology, Brno University of Technology. As its central scientific topic, it discusses formal models and their applications. Recent presentations are to be found at

Author: Radim Kocman (FIT, BUT) and Zbyněk Křivka (FIT, BUT)
Title: Jumping Finite Automata: New Results
Abstract: PDF

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]