×

Found 5 Documents (Results 1–5)

100
MathJax

Modelling divergence in relational concurrent refinement. (English) Zbl 1211.68265

Leuschel, Michael (ed.) et al., Integrated formal methods. 7th international conference, IFM 2009, Düsseldorf, Germany, February 16–19, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00254-0/pbk). Lecture Notes in Computer Science 5423, 183-199 (2009).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Classification

Software