DENSE INTEGER-COMPLETE SYNTHESIS FOR BOUNDED PARAMETRIC TIMED AUTOMATA.
Saved in:
| Title: | DENSE INTEGER-COMPLETE SYNTHESIS FOR BOUNDED PARAMETRIC TIMED AUTOMATA. |
|---|---|
| Authors: | ANDRÉ, ÉTIENNE1,2, LIME, DIDIER3, ROUX, OLIVIER H.3 |
| Source: | Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-32, 32p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
