Synthesizing Concurrent Programs Using Answer Set Programming
Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2012-758
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2012
Authors
Publisher
IOS Press
Available in full text
January 1, 2012
IOS Press