RISD - Rigorous System Design Laboratory

Latest additions:
2017-09-01
18:40
Proceedings of the 19th International Conference on Coordination Languages and Models, 197-216 (2017)
2017 | Conference Papers |

Detailed record - Similar records
2017-09-01
14:20
Journal of Logical and Algebraic Methods in Programming, 92, 19-44 (2017)
2017 | Journal Articles |

Detailed record - Similar records
2017-05-27
14:53

Detailed record - Similar records
2017-04-16
11:43

Detailed record - Similar records
2017-04-02
18:55
Software Practice and Experience, 47 (11), 1801-1836 (2017)
2017 | Journal Articles |

Detailed record - Similar records
2017-02-27
12:25

Detailed record - Similar records
2017-02-16
16:59

Detailed record - Similar records
2017-02-05
19:20

Detailed record - Similar records
2017-01-19
19:22

Detailed record - Similar records
2017-01-04
13:10

Detailed record - Similar records