default search action

combined dblp search
author search
venue search
publication search

ask others

14th REFINE@FMWeek 2009: Eindhoven, The Netherlands

> Home > Conferences and Workshops > REFINE
> Home > Conferences and Workshops > FMWeek

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/refine/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/2009
Eerke A. Boiten, John Derrick, Steve Reeves:
Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009. Electronic Notes in Theoretical Computer Science 259, Elsevier 2009
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BoitenDR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BoitenDR09
Eerke A. Boiten, John Derrick, Steve Reeves:
Preface. 1
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RodriguesOB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RodriguesOB09
César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa:
A Single Complete Relational Rule for Coalgebraic Refinement. 3-19
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DerrickB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DerrickB09
John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement: Automata. 21-34
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Dunne09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Dunne09
Steve Dunne:
Of wlp and CSP. 35-45
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Hallerstede09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Hallerstede09
Stefan Hallerstede:
Proving Quicksort Correct in Event-B. 47-65
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HesselinkL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HesselinkL09
Wim H. Hesselink, Muhammad Ikram Ullah Lali:
Formalizing a Hierarchical File System. 67-85
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HowseSSO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HowseSSO09
John Howse, Steve Schuman, Gem Stapleton, Ian Oliver:
Diagrammatic Formal Specification of a Configuration Control Platform. 87-104
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MartinsMB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MartinsMB09
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement by Interpretation in a General Setting. 105-121
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Morgan09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Morgan09
Carroll Morgan:
How to Brew-up a Refinement Ordering. 123-141
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PreoteasaB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PreoteasaB09
Viorel Preoteasa, Ralph-Johan Back:
Data Refinement of Invariant Based Programs. 143-163
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RabehajaS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RabehajaS09
T. M. Rabehaja, Jeff W. Sanders:
Data Refinement with Probability in Mind. 165-176
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ReevesS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ReevesS09
Steve Reeves, David Streader:
Guarded Operations, Refinement and Simulation. 177-191
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RuhrothW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RuhrothW09
Thomas Ruhroth, Heike Wehrheim:
Static Class Elements for Object-Z. 193-205
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SandersS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SandersS09
Jeff W. Sanders, Graeme Smith:
Refining Emergent Properties. 207-223
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ZeydaOC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ZeydaOC09
Frank Zeyda, Marcel Oliveira, Ana Cavalcanti:
Supporting ArcAngel in ProofPower. 225-243

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.