Knowledge Tree

researcher / Juan Vicente Echagüe Zappettini

Juan Vicente Echagüe Zappettini

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Sémantique des systèmes réactifs : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones