Showing papers by "Alberto Sangiovanni-Vincentelli published in 1973"
••
07 May 1973TL;DR: A new description of SSPS is proposed, called syntactic description, which constitutes a framework useful to structure a rich content of informations about a given problem.
Abstract: In this paper we have proposed a new description of SSPS, called syntactic description, which constitutes a framework useful to structure a rich content of informations about a given problem.
7 citations