CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language
M. Falaschi
,
Alberto Policriti
,
A. Villanueva
2000-01-01
Cite
Type
Conference paper
Publication
Proceedings of AGP 2000
Related
Modelling concurrent systems specified in a temporal concurrent constraint language -I
The Rational Construction of a Wheeler DFA
Cascade products and Wheeler automata
Incremental NFA minimization
Ordering regular languages and automata: Complexity
Cite
×