Have a personal or library account? Click to login
FSP and FLTL framework for specification and verification of middle-agents Cover

FSP and FLTL framework for specification and verification of middle-agents

Open Access
|Mar 2011
DOI: https://doi.org/10.2478/v10006-011-0001-6 | Journal eISSN: 2083-8492 | Journal ISSN: 1641-876X
Language: English
Page range: 9 - 25
Published on: Mar 28, 2011
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year

© 2011 Amelia Bădică, Costin Bădică, published by University of Zielona Góra
This work is licensed under the Creative Commons License.

Volume 21 (2011): Issue 1 (March 2011)