|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gordon J. Pace, Fernando Schapachnik |
Contracts for Interacting Two-Party Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLACOS ![In: Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, Bertinoro, Italy, 19 September 2012., pp. 21-30, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Adrian Francalanza, Ian Grima |
Simplifying Contract-Violating Traces ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLACOS ![In: Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, Bertinoro, Italy, 19 September 2012., pp. 11-20, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gordon J. Pace, Anders P. Ravn (eds.) |
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, Bertinoro, Italy, 19 September 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLACOS ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom |
A History of BlockingQueues ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLACOS ![In: Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, Bertinoro, Italy, 19 September 2012., pp. 31-35, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gregorio Díaz 0001, Luis Llana, Valentín Valero Ruiz, José Antonio Mateo |
Conformance Verification of Normative Specifications using C-O Diagrams ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLACOS ![In: Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, Bertinoro, Italy, 19 September 2012., pp. 1-10, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ernesto Pimentel 0001, Valentín Valero (eds.) |
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLACOS ![The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gorín, Sergio Mera, Fernando Schapachnik |
A Software Tool for Legal Drafting ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLACOS ![In: Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011., pp. 71-86, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Seyed M. Montazeri, Nivir K. S. Roy, Gerardo Schneider |
From Contracts in Structured English to CL Specifications ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLACOS ![In: Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011., pp. 55-69, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | François Hantry, Mohand-Said Hacid |
Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLACOS ![In: Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011., pp. 39-53, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Francalanza, Andrew Gauci, Gordon J. Pace |
Distributed System Contract Monitoring ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLACOS ![In: Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011., pp. 23-37, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz 0001, Gerardo Schneider |
Timed Automata Semantics for Visual e-Contracts ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLACOS ![In: Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011., pp. 7-21, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|