Linköping University: Students Alumni Trade and Industry/Society Internal Search

Search Results

AUTHOR:MAURICIO VAREA
Found 2 entries
  1. Dual Flow Nets: Modeling the Control/Data-flow Relation in Embedded Systems
    Mauricio Varea, Bashir M. Al-Hashimi, Luis A. CortÚs, Petru Eles, Zebo Peng
    ACM Transactions on Embedded Computing Systems (TECS), Vol. 5, Issue 1, February 2006, pp 54-81
  2. Symbolic Model Checking of Dual Transition Petri Nets
    Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortes, Petru Eles, Zebo Peng
    10th International Symposium on Hardware/Software Codesign (CODES 2002), Estes Park, Colorado, USA, May 6-8, 2002, pp. 43-48.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)