EPTCS 55 - Refine 2011

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-3488
- ask others
John Derrick, Eerke A. Boiten, Steve Reeves (Eds.): Proceedings 15th International Refinement Workshop. 2011 EPTCS 55 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-4090
- ask others
Maria Teresa Llano, Andrew Ireland, Alison Pease: Discovery of Invariants through Automated Theory Formation. ... 1-19
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-4091
- ask others
Gian Perrone, Søren Debois, Thomas T. Hildebrandt: Bigraphical Refinement. ... 20-36
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-4092
- ask others
John Derrick, Siobhán North, Anthony J. H. Simons: Building a refinement checker for Z. ... 37-52
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-4093
- ask others
César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa: Refinement by interpretation in π-institutions. ... 53-64
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-4094
- ask others
Alvaro Miyazawa, Ana Cavalcanti: Refinement-based verification of sequential implementations of Stateflow charts. ... 65-83
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-4095
- ask others
Steve Reeves, David Streader: Refinement for Probabilistic Systems with Nondeterminism. ... 84-100
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-4096
- ask others
Ukachukwu Ndukwu, Annabelle McIver: Model exploration and analysis for quantitative safety refinement in probabilistic B. ... 101-120
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-4097
- ask others
Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang: Formalising the Continuous/Discrete Modeling Step. ... 121-138
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-4098
- ask others
Steve Schneider, Helen Treharne, Heike Wehrheim: A CSP Account of Event-B Refinement. ... 139-154
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-4099
- ask others
Eerke A. Boiten: Perspicuity and Granularity in Refinement. ... 155-165
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-4100
- ask others
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina A. Waldén: Concurrent Scheduling of Event-B Models. ... 166-182