Providing Automated Support to Deductive Analysis of Time Critical Systems

@inproceedings{Alborghetti-al:FSE97,
  author    = {Andrea Alborghetti and
               Angelo Gargantini and
               Angelo Morzenti},
  title     = {Providing Automated Support to Deductive Analysis of Time Critical Systems},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {211--226},
  series    = {LNCS},
  volume    = {1301},
  publisher = {Springer},
  year      = {1997},
  doi       = {10.1007/3-540-63531-9\_16},
}