Publications

Export 40 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: First Letter Of Title is M  [Clear All Filters]
A B C D E F G H I J K L [M] N O P Q R S T U V W X Y Z   [Show ALL]
B
E
M
W
V
T
[1362] Teruel, E, Colom JM, Silva M.  1993.  Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
W
F
[1496] Fraca, E, Julvez J, Silva M.  2012.  Marking homothetic monotonicity and fluidization of untimed Petri nets. 11th International Workshop on Discrete Event Systems (WODES’12). :21-27.
W
[1547] Wang, X, Mahulea C, Silva M.  2014.  Model Checking on Fault Diagnosis Graph. WODES'2014: 12th IFAC International Workshop on Discrete Event Systems.
M
S
Z