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 http://www.fit.vutbr.cz/~meduna/work/doku.php?id=talks:seminar.

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

Vaše IPv4 adresa:
Přepnout na IPv6 spojení

DNSSEC [dnssec]