Ferenc Bujtor

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
ACTL for modal interface automata
Theoretical Computer Science
2017-09-12Paper
Nondeterministic modal interfaces
Theoretical Computer Science
2016-07-20Paper
Error-pruning in interface automata
Theoretical Computer Science
2015-08-17Paper
Nondeterministic modal interfaces
Lecture Notes in Computer Science
2015-02-20Paper
Error-pruning in interface automata
SOFSEM 2014: Theory and Practice of Computer Science
2015-01-13Paper


Research outcomes over time


This page was built for person: Ferenc Bujtor