Edmundo López Bóbeda

According to our database1, Edmundo López Bóbeda authored at least 4 papers between 2011 and 2015.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Building a Symbolic Model Checker from Formal Language Description.
Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014
StrataGEM: A Generic Petri Net Verification Framework.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2012
A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis.
Trans. Petri Nets Other Model. Concurr., 2012

2011
Modelling of Genetic Regulatory Mechanisms with GReg
CoRR, 2011


  Loading...