( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specialisation and Generalisation of Processes.

, , и . Enterprise Modelling and Information Systems Architectures, 13 (Special): 35-46 (2018)

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.

Stefan Laure

Laure Amate

Laure Aeschimann

Laure Fourchaud

Laure Johann

 

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

Specification and validation of a concurrent system: an educational project., и . Int. J. Softw. Tools Technol. Transf., 3 (4): 372-381 (2001)Coloured Petri Nets Refinements., , и . PNSE+ModPE, том 989 из CEUR Workshop Proceedings, стр. 187-201. CEUR-WS.org, (2013)Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving., , , , , и . Petri Nets, том 13929 из Lecture Notes in Computer Science, стр. 369-392. Springer, (2023)Efficient state-based analysis by introducing bags in Petri nets color domains., , , , и . ACC, стр. 5018-5025. IEEE, (2009)PAPETRI: Environment for the Analysis of PETRI Nets., , и . CAV (DIMACS/AMS volume), том 3 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 43-56. DIMACS/AMS, (1990)A Formal Model for Fault Tolerant Parallel Matrix Factorization., , и . ICECCS, стр. 62-70. IEEE, (2022)Modular construction of the symbolic observation graph., и . ACSD, стр. 88-97. IEEE, (2008)Avoiding State Exposion by Composition of Minimal Covering Graphs., и . CAV, том 575 из Lecture Notes in Computer Science, стр. 169-180. Springer, (1991)Parallel Nested Depth-First Searches for LTL Model Checking., , и . ATVA, том 6996 из Lecture Notes in Computer Science, стр. 381-396. Springer, (2011)Multi-threaded Explicit State Space Exploration with State Reconstruction., , и . ATVA, том 8172 из Lecture Notes in Computer Science, стр. 208-223. Springer, (2013)