@book{JRC17577, editor = {}, address = {}, year = {1998}, author = {Foggi C and Genoni F and Petraglia E}, isbn = {92-828-5688-7}, edition = {}, abstract = {Abstract not available }, title = {Seminar on "Modern Verification Regimes: Similarities, Syngergies and Challenges", 12-15 May 1998, Helinki (FIN)}, url = {}, volume = {}, number = {}, issn = {}, publisher = {European Commission}, doi = {} }