Isabel Marquez, Miguel miguel.isabel@upm.es
Publications
??chart.error-loading.chart_en??
Loading...
- Articles 2
- Books 0
- Book chapters 0
- Conferences 0
- Working papers 0
- Technical reports 0
- Research projects 0
- Supervised theses 0
- Patent or software license 0
Actor-based model checking for Software-Defined Networks.
- Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva
Journal Of Logical And Algebraic Methods In Programming, Volume 118 - 1/1/2021
- iMarina
This researcher has no books.
This researcher has no book chapters.
This researcher has no conferences.
This researcher has no working papers.
This researcher has no technical reports.
This researcher has no research projects.
This researcher has no supervised thesis.
This researcher has no patents or software licenses.
Research groups
Researcher profiles
- This researcher does not have any profiles.
Last data update:
2/25/23 8:41 AM