Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FLACOS"( http://dblp.L3S.de/Venues/FLACOS )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2011 (6) 2012 (5)
Publication types (Num. hits)
inproceedings(9) proceedings(2)
Venues (Conferences, Journals, ...)
FLACOS(11)
Authors
Gordon J. Pace(3) Adrian Francalanza(2) Fernando Schapachnik(2) Gerardo Schneider(2) Gregorio Díaz 0001(2) Anders P. Ravn(1) Andrew Gauci(1) Christian Colombo 0001(1) Daniel Gorín(1) Enrique Martínez(1) Ernesto Pimentel 0001(1) François Hantry(1) Ian Grima(1) José Antonio Mateo(1) Luis Llana(1) María-Emilia Cambronero(1) More (+10 of total 25)
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
1Gordon J. Pace, Fernando Schapachnik Contracts for Interacting Two-Party Systems Search on Bibsonomy FLACOS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christian Colombo 0001, Adrian Francalanza, Ian Grima Simplifying Contract-Violating Traces Search on Bibsonomy FLACOS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gordon 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 FLACOS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom A History of BlockingQueues Search on Bibsonomy FLACOS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gregorio Díaz 0001, Luis Llana, Valentín Valero Ruiz, José Antonio Mateo Conformance Verification of Normative Specifications using C-O Diagrams Search on Bibsonomy FLACOS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ernesto 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 FLACOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniel Gorín, Sergio Mera, Fernando Schapachnik A Software Tool for Legal Drafting Search on Bibsonomy FLACOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Seyed M. Montazeri, Nivir K. S. Roy, Gerardo Schneider From Contracts in Structured English to CL Specifications Search on Bibsonomy FLACOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1François Hantry, Mohand-Said Hacid Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages Search on Bibsonomy FLACOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Adrian Francalanza, Andrew Gauci, Gordon J. Pace Distributed System Contract Monitoring Search on Bibsonomy FLACOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz 0001, Gerardo Schneider Timed Automata Semantics for Visual e-Contracts Search on Bibsonomy FLACOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license