EPTCS 68 - FLACOS 2011

Ernesto Pimentel, Valentin Valero (Eds.): Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software. EPTCS 68 2011

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1109-2654
- ask others
Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider: Timed Automata Semantics for Visual e-Contracts. 7-21
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1109-2655
- ask others
Adrian Francalanza, Andrew Gauci, Gordon J. Pace: Distributed System Contract Monitoring. 23-37
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1109-2656
- ask others
François Hantry, Mohand-Said Hacid: Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages. 39-53
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1109-2657
- ask others
Seyed M. Montazeri, Nivir K. S. Roy, Gerardo Schneider: From Contracts in Structured English to CL Specifications. 55-69
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1109-2658
- ask others
Daniel Gorín, Sergio Mera, Fernando Schapachnik: A Software Tool for Legal Drafting. 71-86