(1997). Providing automated support to deductive analysis of time critical systems [book chapter - capitolo di libro]. Retrieved from http://hdl.handle.net/10446/27261
Providing automated support to deductive analysis of time critical systems
GARGANTINI, Angelo Michele;
1997-01-01
File allegato/i alla scheda:
Non ci sono file allegati a questa scheda.
Pubblicazioni consigliate
Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo