default search action

combined dblp search
author search
venue search
publication search

ask others

5th FLACOS 2011: Málaga, Spain

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1109-2399
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-2399
Ernesto Pimentel, Valentín Valero:
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011. EPTCS 68, 2011
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1109-2654
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-2654
Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider:
Timed Automata Semantics for Visual e-Contracts. 7-21
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1109-2655
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-2655
Adrian Francalanza, Andrew Gauci, Gordon J. Pace:
Distributed System Contract Monitoring. 23-37
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1109-2656
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-2656
François Hantry, Mohand-Said Hacid:
Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages. 39-53
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1109-2657
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-2657
Seyed M. Montazeri, Nivir K. S. Roy, Gerardo Schneider:
From Contracts in Structured English to CL Specifications. 55-69
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1109-2658
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-2658
Daniel Gorín, Sergio Mera, Fernando Schapachnik:
A Software Tool for Legal Drafting. 71-86

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.