![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
16th Refine@IFM 2013: Turku, Finland
- John Derrick
, Eerke A. Boiten, Steve Reeves
:
Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. EPTCS 115, 2013 - Emil Sekerinski, Tian Zhang:
On a New Notion of Partial Refinement. 1-14 - Brijesh Dongol
, John Derrick
:
Data refinement for true concurrency. 15-35 - Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook
, Neil Evans, Neil Grant, Helen Marshall:
Modelling and Refinement in CODA. 36-51 - Frank Zeyda
, Ana Cavalcanti
:
Refining SCJ Mission Specifications into Parallel Handler Designs. 52-67 - Nuno Amálio:
Relaxing Behavioural Inheritance. 68-83 - Alexandre Madeira
, Manuel A. Martins
, Luís Soares Barbosa
:
Bisimilarity and refinement for hybrid(ised) logics. 84-98
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.