default search action

combined dblp search
author search
venue search
publication search

ask others

13th Refine@FM 2008: Turku, Finland

> Home > Conferences and Workshops > Refine
> Home > Conferences and Workshops > FM

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/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/2008
Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008. Electronic Notes in Theoretical Computer Science 214, Elsevier 2008
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BoitenDS08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BoitenDS08a
Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Preface. 1
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Hesselink08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Hesselink08
Wim H. Hesselink:
Simulation Refinement for Concurrency Verification. 3-23
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Schellhorn08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Schellhorn08
Gerhard Schellhorn:
Completeness of ASM Refinement. 25-49
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Sekerinski08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Sekerinski08
Emil Sekerinski:
An Algebraic Approach to Refinement with Fair Choice. 51-79
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Struth08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Struth08
Georg Struth:
Modal Tools for Separation and Refinement. 81-101
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Madeira08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Madeira08
Alexandre Madeira:
Observational Refinement Process. 103-129
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Spichkova08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Spichkova08
Maria Spichkova:
Refinement-Based Verification of Interactive Real-Time Systems. 131-157
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EdmundsB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EdmundsB08
Andrew Edmunds, Michael J. Butler:
Linking Event-B and Concurrent Object-Oriented Programs. 159-182
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Evans08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Evans08
Neil Evans:
Refinement for Pipelining in Event-B. 183-202
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/OliveiraC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OliveiraC08
Marcel Oliveira, Ana Cavalcanti:
ArcAngelC: a Refinement Tactic Language for Circus. 203-229
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ChoppyMP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ChoppyMP08
Christine Choppy, Micaela Mayero, Laure Petrucci:
Experimenting Formal Proofs of Petri Nets Refinements. 231-254
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DerrickB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DerrickB08
John Derrick, Eerke A. Boiten:
More Relational Concurrent Refinement: Traces and Partial Relations. 255-276
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ReevesS08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ReevesS08a
Steve Reeves, David Streader:
General Refinement, Part One: Interfaces, Determinism and Special Refinement. 277-307
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ReevesS08b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ReevesS08b
Steve Reeves, David Streader:
General Refinement, Part Two: Flexible Refinement. 309-329
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EstlerW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EstlerW08
H.-Christian Estler, Heike Wehrheim:
Alloy as a Refactoring Checker? 331-357
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SmithM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SmithM08
Graeme Smith, Tim McComb:
Refactoring Real-time Specifications. 359-380

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.