Browsing by Author LEWIS Phil

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 alArticles in periodicals and books