( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From Regular to Strictly Locally Testable Languages

, и . WORDS, том 63 из EPTCS, стр. 103-111. (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

San San Lin

San San Hmwe

Pierluigi Casale

Pierluigi Ramadori

Pierluigi Migliano

 

Другие публикации лиц с тем же именем

A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO., , и . Autom. Softw. Eng., 7 (2): 125-155 (2000)From Regular to Strictly Locally Testable Languages, и . WORDS, том 63 из EPTCS, стр. 103-111. (2011)Finding Synchronization-Free Parallelism Represented with Trees of Dependent Operations., , , и . ICA3PP, том 5022 из Lecture Notes in Computer Science, стр. 185-195. Springer, (2008)Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter., , и . FSTTCS, том 2245 из Lecture Notes in Computer Science, стр. 132-143. Springer, (2001)Verification in loosely synchronous queue-connected discrete timed automata., , и . Theor. Comput. Sci., 290 (3): 1713-1735 (2003)Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding., и . LATA, том 12638 из Lecture Notes in Computer Science, стр. 241-254. Springer, (2021)The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties., , и . ESEC/SIGSOFT FSE, стр. 312-320. ACM, (2007)Two-Dimensional Dyck Words (short paper) (text not included)., , и . ICTCS, том 3587 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Reducing the Local Alphabet Size in Tiling Systems for Picture Languages., , и . ICTCS, том 3072 из CEUR Workshop Proceedings, стр. 199-204. CEUR-WS.org, (2021)A Tool for Automated System Analysis based on Modular Specifications., , и . ASE, стр. 2-11. IEEE Computer Society, (1998)