Timed Automata Semantics for Visual e-Contracts

  • Enrique Martínez, M. Emilia Cambronero, Gregorio Díaz, Gerardo Schneider
  • Electronic Proceedings in Theoretical Computer Science, September 2011, Open Publishing Association
  • DOI: 10.4204/eptcs.68.3

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.4204/eptcs.68.3