C O N V E C S
Construction of Verified Concurrent Systems
Logo Inria Logo LIG Logo Grenoble INP Logo CNRS Logo UGA
 

A list of publications related to the CADP software is available here.

The list of publications of the former VASY team is available here.

2017  |  2016  |  2015  |  2014  |  2013  |  2012  ]

2 0 1 7

Journals

Conferences and Workshops

2 0 1 6

Activity Report 2016      Logo PDF

Journals

Conferences and Workshops

Theses

Journals and Proceedings Edited

2 0 1 5

Activity Report 2015      Logo PDF

Journals

Conferences and Workshops

Theses

Research Reports

2 0 1 4

Activity Report 2014      Logo PDF

Journals

Conferences and Workshops

Research Reports

Journals and Proceedings Edited

2 0 1 3

Activity Report 2013      Logo PDF

Journals

Conferences and Workshops

Journals and Proceedings Edited

2 0 1 2

Activity Report 2012      Logo PDF

Journals

Conferences and Workshops

Journals and Proceedings Edited

Miscellaneous

 
 
Logo Twitter
 
Last modified: 2017/11/08 09:19:45.