GIORGETTI, Alain, GROSLAMBERT, Julien, COMBINATION OF APPROACHES TO THE SECURITY OF INFINITE STATES SYSTEMS (CASSIS), Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), UNIVERSITÉ DE TECHNOLOGIE DE BELFORT-MONTBELIARD (UTBM)-ECOLE NATIONALE SUPÉRIEURE DE MÉCANIQUE ET DES MICROTECHNIQUES (ENSMM)-UNIVERSITÉ DE FRANCHE-COMTÉ (UFC), UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ COMUE (UBFC)-UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ COMUE (UBFC)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-UNIVERSITÉ DE TECHNOLOGIE DE BELFORT-MONTBELIARD (UTBM)-ECOLE NATIONALE SUPÉRIEURE DE MÉCANIQUE ET DES MICROTECHNIQUES (ENSMM)-UNIVERSITÉ DE FRANCHE-COMTÉ (UFC), UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ COMUE (UBFC)-UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ COMUE (UBFC)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-INRIA NANCY - GRAND EST, INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-DEPARTMENT OF FORMAL METHODS (LORIA - FM), LABORATOIRE LORRAIN DE RECHERCHE EN INFORMATIQUE ET SES APPLICATIONS (LORIA), INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-UNIVERSITÉ DE LORRAINE (UL)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-UNIVERSITÉ DE LORRAINE (UL)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-LABORATOIRE LORRAIN DE RECHERCHE EN INFORMATIQUE ET SES APPLICATIONS (LORIA), INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-UNIVERSITÉ DE LORRAINE (UL)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-UNIVERSITÉ DE LORRAINE (UL)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS) und UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ COMUE (UBFC)-UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ COMUE (UBFC)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS), 2007. Un programme annoté en vaut deux. In: . HAL CCSD. 1 Januar 2007.

Giorgetti, A., Groslambert, J., Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique T. et O.- S. et T. (UMR 6. (FEMTO-S., Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS), 2007. Un programme annoté en vaut deux, in: . HAL CCSD.

Giorgetti, A., Groslambert, J., Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique T. et O.- S. et T. (UMR 6. (FEMTO-S., Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), & Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS). (2007, Januar 1). Un programme annoté en vaut deux.

Giorgetti A, Groslambert J, Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique T et O- S et T (UMR 6 (FEMTO-S, Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS) (2007) Un programme annoté en vaut deux. HAL CCSD

Giorgetti, Alain/ Groslambert, Julien/ Combination of approaches to the security of infinite states systems (CASSIS)/ Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST)/ Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC)/ Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC)/ Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est/ Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM)/ Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)/ Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)/ Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)/ Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS), Un programme annoté en vaut deux, 2007, .