Hernán P. Dacharry

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

2 Hernán P. Dacharry, Norbert Giambiasi: A formal verification approach for DEVS. SCSC 2007: 312-319

1 Hernán P. Dacharry, Norbert Giambiasi: Discrete event modeling through a multi-formalism approach, from a user-oriented perspective. SpringSim (2) 2007: 207-213

	2007
2		Hernán P. Dacharry, Norbert Giambiasi: A formal verification approach for DEVS. SCSC 2007: 312-319
1		Hernán P. Dacharry, Norbert Giambiasi: Discrete event modeling through a multi-formalism approach, from a user-oriented perspective. SpringSim (2) 2007: 207-213

Coauthor Index

1 Norbert Giambiasi [1] [2]