|
СБ |
Computational Methods in Systems Biology: Proc./14th International Conference, CMSB 2016, Cambridge, UK, September 2016 |
2016 |
|
Lecture Notes in Bioinformatics |
- Bartocci E.
- Lio P.
- Paoletti N.
|
|
|
07.10.2016 |
|
СБ |
Runtime Verification: Proc./6th International Conference, RV 2015, Vienna, Austria, September 2015 |
2015 |
|
Lecture Notes in Computer Science |
- Bartocci E.
- Majumdar R.
|
|
|
20.10.2015 |
|
СБ |
Model Checking Software: Proc./20th International Symposium, SPIN 2013, Stony Brook,NY,USA, July 2013 |
2013 |
|
Lecture Notes in Computer Science |
- Bartocci E.
- Ramakrishnan C. R.
|
|
|
26.08.2013 |
