FSP and FLTL Framework for Specification and Verification of Middle-Agents
International Journal of Applied Mathematics and Computer Science - Germany
doi 10.2478/v10006-011-0001-6
Full Text
Open PDFAbstract
Available in full text
Date
March 1, 2011
Authors
Publisher
Walter de Gruyter GmbH