|
| [5] | STAR: A Software Tool for Validating Concurrent Systems (Manuel Silva and Javier Martínez), In Proc. Programming - KTSG Technical Week., SESA-RC, 1985. |
|
| [4] | Manual de uso y mantenimiento del paquete de validación de redes de Petri ARP (Manuel Silva and Javier Martínez), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1987. |
|
| [3] | A Report on Petri Net Software Tools. (Javier Martínez, José-Manuel Colom and Manuel Silva), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1990. |
|
| [2] | Analysis tools applied to VHDL (Serafín Olcoz), In Microprocessing and Microprogramming, volume 38, 1993. |
| [1] | A Framework for Automated Static Analysis of VHDL (Serafín Olcoz), In Procs of the First Asian Pacific Conference on Hardware Description Languages, Standards and Applications (APCHDLSA'93), 1993. |