Manuel A. Martins (CIDMA - Math. Department U. Aveiro)

Identifiers

• name variant Manuel A. Martins (CIDMA - Math. Department U. Aveiro) 0.60 · backfill

Papers (1)

1. Bisimilarity and refinement for hybrid(ised) logics cs.LO · 2013 · author #3

Mentions

• 1305.6115 #3 · backfill · confidence 0.70 Manuel A. Martins (CIDMA - Math. Department U. Aveiro)

Frequent Coauthors

• Alexandre Madeira (Haslab-INESC TEC 1 shared papers
• Lu\'is Soares Barbosa (Haslab-INESC TEC 1 shared papers
• Universidade do Minho) 1 shared papers