Search the dblp DataBase

Publications of Author

1. Serafín Olcoz, José Manuel Colom
   A Petri Net Approach for the Analysis of VHDL Descriptions. [Citation Graph (0, 0)][DBLP]
   CHARME, 1993, pp:15-26 [Conf]
   
2. Serafín Olcoz, Lorenzo Ayuda, Ivan Izaguirre, Olga Peñalba
   VHDL Teamwork, Organization Units and Workspace Management. [Citation Graph (0, 0)][DBLP]
   DATE, 1998, pp:297-302 [Conf]
   
3. Serafín Olcoz, Ana Castellvi, Maria Garcia, Jose Angel Gomez
   Static Analysis Tools for Soft-Core Reviews and Audits. [Citation Graph (0, 0)][DBLP]
   DATE, 1998, pp:935-936 [Conf]
   
4. Serafín Olcoz, José Manuel Colom
   A Colored Petri Net Model of VHDL. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1995, v:7, n:1/2, pp:101-123 [Journal]
   
5. 
   An effective system development environment based on VHDL prototyping. [Citation Graph (, )][DBLP]