Edmundo López Bóbeda, profile picture

Edmundo López Bóbeda

Sort by
Towards a General Approach for Symbolic Model-Checker Prototyping
StrataGEM: A Generic Petri Net Verification Framework