View in EDS PDF Full Text

DENSE INTEGER-COMPLETE SYNTHESIS FOR BOUNDED PARAMETRIC TIMED AUTOMATA.

Saved in:
Bibliographic Details
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
Description
ISSN:18605974
DOI:10.46298/LMCS-22(2:11)2026