Networked systems: 7th international conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, revised selected papers

por Atig, Mohamed Faouzi, Schwarzmann, Alexander A
Publicado 2019

Verification and evaluation of computer and communication systems: 12th international conference, VECOS 2018, Grenoble, France, September 26-28, 2018, proceedings

por Atig, Mohamed Faouzi, Bensalem, Saddek, Bliudze, Simon, Monsuez, Bruno
Publicado 2018

The Decidability of Verification under PS 2.0

por Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Godbole, Adwait, Krishna, S., Vafeiadis, Viktor
Publicado 2021