Publikationen, an denen er mitarbeitet CLARA MARÍA SEGURA DÍAZ (1)

2005

  1. Tagged systems: A framework for the specification of history-dependent properties

    Electronic Notes in Theoretical Computer Science