"A software tool for the automatic synthesis of minimally restrictive ..."

S. Chandrasekaran, N. Somnath, R. S. Sreenivas (2015)

Details and statistics

DOI: 10.1007/S10845-014-0888-5

access: closed

type: Journal Article

metadata version: 2022-08-16

a service of  Schloss Dagstuhl - Leibniz Center for Informatics