By Bozzelli Laura   La Torre Salvatore   in Formal Methods in System Design

ISSN:0925-9856|35|2|121-151

Springer Publishing Company ‎(2009)‎

Access to resources Favorite 16.849874

By La Torre Salvatore   Napoli Margherita   in RAIRO - Theoretical Informatics and Applications

ISSN:0988-3754|35|4|311-330

Edp Sciences‎(2010)‎

Access to resources Favorite 16.849874

By Alur Rajeev   Kannan Sampath   La Torre Salvatore   in Formal Methods in System Design

ISSN:0925-9856|24|3|261-280

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 14.44275

By La Torre Salvatore   Napoli Margherita   Parente Mimmo   in RAIRO - Theoretical Informatics and Applications

ISSN:0988-3754|34|6|549-564

Edp Sciences‎(2010)‎

Access to resources Favorite 14.44275

By Gruska Jozef   La Torre Salvatore   Napoli Margherita   Parente Mimmo   in RAIRO - Theoretical Informatics and Applications

ISSN:0988-3754|40|2|177-206

Edp Sciences‎(2006)‎

Access to resources Favorite 12.035625