Vol-240⫷ Vol-241 ⫸Vol-242
urn:nbn:de:0074-241-0


Vol-241/paper-2⫷Vol-241/paper-3⫸Vol-241/paper-4
Didier BertFabrice BouquetYves LedruSylvie Vignes

Validation of Regulation Documents by Automated Analysis of Formal Models