( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems.

, и . CHARME, том 2860 из Lecture Notes in Computer Science, стр. 378-393. Springer, (2003)

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.

Miguel Angel Peña A

Marco Vinicio Peña Alvarado

Jorge Alejandro Peña Sebald

Effektivität und Angemessenheit: Messung interkultureller Kompetenz im Assessment Center. Uni Jena, (2008)

Miguel Peña

Hugo Peña-Cortés

 

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

Structural Methods to Improve the Symbolic Analysis of Petri Nets., , и . ICATPN, том 1639 из Lecture Notes in Computer Science, стр. 26-45. Springer, (1999)Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems., и . CHARME, том 2860 из Lecture Notes in Computer Science, стр. 378-393. Springer, (2003)Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits., , , и . DAC, стр. 620-625. ACM Press, (1997)Formal Verification of Safety Properties in Timed Circuits., , , и . ASYNC, стр. 2-11. IEEE Computer Society, (2000)TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems., , и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 424-428. Springer, (2005)Urban Growth, Real Estate Development and Indigenous Property: Simulating the Expansion Process in the City of Temuco, Chile., , , , и . ISPRS Int. J. Geo Inf., 10 (2): 101 (2021)Relative timing based verification of concurrent systems.. Polytechnic University of Catalonia, Spain, (2003)Combining Simulation and Guided Traversal for the Verification of Concurrent Systems., и . DATE, стр. 11158-11159. IEEE Computer Society, (2003)Partial order based approach to synthesis of speed-independent circuits., , , , , и . ASYNC, стр. 254-. IEEE Computer Society, (1997)Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits., и . ASYNC, стр. 222-232. IEEE Computer Society, (1996)