|
СБ |
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday |
2017 |
|
Lecture Notes in Computer Science |
- Aceto L.
- Bacci G.
- Ingolfsdottir A.
- Legay A.
|
|
|
10.08.2017 |
|
СБ |
Automated Technology for Verification and Analysis: Proc./14th International Symposium, ATVA 2016, Chiba, Japan, October 2016 |
2016 |
|
Lecture Notes in Computer Science |
- Artho C.
- Legay A.
- Peled D.
|
|
|
26.10.2016 |
|
СБ |
Formal Modeling and Analysis of Timed Systems: Proc./12th International Conference, FORMATS 2014, Florence, Italy, September 2014 |
2014 |
|
Lecture Notes in Computer Science |
- Legay A.
- Bozga M.
|
|
|
23.09.2014 |
|
СБ |
From Programs to Systems. The System Perspective in Computing: Proc./ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 2014 |
2014 |
|
Lecture Notes in Computer Science |
- Bensalem S.
- Lakhneck Ya.
- Legay A.
|
|
|
22.04.2014 |
|
СБ |
Hardware and Software: Verification and Testing: Proc./9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 2013 |
2013 |
|
Lecture Notes in Computer Science |
- Bertacco V.
- Legay A.
|
|
|
13.01.2014 |
|
СБ |
Runtime Verification: Proc./4th International Conference, RV 2013, Rennes, France, September 2013 |
2013 |
|
Lecture Notes in Computer Science |
- Legay A.
- Bensalem S.
|
|
|
07.10.2013 |
