Browsing by Author LEWIS Phil

Jump to: 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
or enter first few letters:  
Showing results 1 to 1 of 1
Publication YearJRC N°TitleAuthor(s), Editor(s), Other Contributor(s)Publication Type
2007JRC36955The RAMI On-line Model Checker (ROMC)WIDLOWSKI JEAN-LUC; ROBUSTELLI MONICA; DISNEY Mathias; GASTELLU-ETCHEGORRY Jean-Philippe; LAVERGNE Thomas; LEWIS Phil; MARTIN Emmanuel; NORTH Peter; TABERNER MALCOLM; PINTY BERNARD, et alContributions to Conferences