Bertalan Vécsei

1. Integration of Formal Verification and Debugging Methods in P-GRADE Environment
   2005/12/30 by Róbert Lovas, Bertalan Vécsei · 1 citation
   Computer Science · #Distributed and Parallel Computing Systems #Distributed systems and fault tolerance #Petri Nets in System Modeling