A list without abstracts sorted by year - 2003
Object with Roles and VREcko system
by Lubomír Markovič, September 2003, 17 pages.
Process Rewrite Systems with Weak Finite-State Unit
Parallel Algorithms for Detection of Negative Cycles
Relating Hierarchy of Linear Temporal Properties to Model Checking
Linear Binary Space Partitions and Hierarchy of Object Classes
Modelling Dialogue Systems by Finite Automata
Please install a newer browser for this site to function properly.