"Provably correct reactive control from natural language."

Constantine Lignos et al. (2015)

Details and statistics

DOI: 10.1007/S10514-014-9418-8

access: closed

type: Journal Article

metadata version: 2018-11-30

a service of  Schloss Dagstuhl - Leibniz Center for Informatics