Browsing by Author Bartocci, Ezio


or select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 3 to 3 of 3 < previous 
PreviewAuthors / EditorsTitleTypeIssue Date
Bartocci Ezio - 2016 - Preface of the special issue on Model Checking of...pdf.jpgBartocci, Ezio ; Ramakrishnan, C.R. Preface of the special issue on Model Checking of Software : Selected papers of the 20th International SPIN Symposium on Model Checking of SoftwareArticle Artikel 2016
Showing results 3 to 3 of 3 < previous