EPTCS 68 - FLACOS 2011

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1109-2399
- ask others
Ernesto Pimentel, Valentin Valero (Eds.): Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software. 2011 EPTCS 68 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- 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
  - table of contents in DBLP
  - electronic edition via DOI
- 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
  - table of contents in DBLP
  - electronic edition via DOI
- 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
  - table of contents in DBLP
  - electronic edition via DOI
- 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
  - table of contents in DBLP
  - electronic edition via DOI
- 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