Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
3
Mata: A Fast and Simple Finite Automata Library:
, In:
?
Automated Deduction – CADE 29; Lecture Notes in Computer Science ,
5
Reasoning About Regular Properties: A Comparative Study:
, In:
?
Computer Aided Systems Theory – EUROCAST 2022; Lecture Notes in Computer Science ,
7
Orchestrating Digital Twins for Distributed Manufacturing E..:
, In:
?
Networked Systems; Lecture Notes in Computer Science ,
9