( en | de | ru )

 

Disambiguation of "Pastor, Enric"

Author of the publication

copydeleteadd this publication to your clipboard
TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems.

, , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 424-428. Springer, (2005)

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. You can also use the button next to the name to display some publications already assigned to the person.

Enric Novella

Herbert Pastor

Barbara Pastor

G Pastor

Walter Pastor

 

Other publications of authors with the same name

A structural encoding technique for the synthesis of asynchronous circuits., , and . Fundam. Informaticae, 50 (2): 135-154 (2002)A taxonomy of UAS separation maneuvers and their automated execution., , , , and . ATACCS, page 1-11. IRIT Press Toulouse, France / ACM DL, (2012)Synthesis of Speed-Independent Circuits from STG-Unfolding Segment., , , , and . DAC, page 16-21. ACM Press, (1997)A Case Study for the Verification of Complex Timed Circuits: IPCMOS., , , and . DATE, page 44-51. IEEE Computer Society, (2002)A new look at the conditions for the synthesis of speed-independent circuits., , and . Great Lakes Symposium on VLSI, page 230-. IEEE Computer Society, (1995)Hierarchical gate-level verification of speed-independent circuits., , and . ASYNC, page 128-137. IEEE Computer Society, (1995)Efficient Encoding Schemes for Symbolic Analysis of Petri Nets., and . DATE, page 790-795. IEEE Computer Society, (1998)Decision Support System for Hot Spot Detection., , , , , and . Intelligent Environments, volume 2 of Ambient Intelligence and Smart Environments, page 277-284. IOS Press, (2009)Traversal Techniques for Concurrent Systems., and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 220-237. Springer, (2002)Depart and approach procedures for UAS in a VFR environment., , , , , and . ATACCS, page 23-32. IRIT Press Toulouse, France / ACM DL, (2011)