%0 Journal Article
%A Bădică, A.
%A Bădică, C.
%T FSP and FLTL framework for specification and verification of middle-agents
%J International Journal of Applied Mathematics and Computer Science
%D 2011
%P 9-25
%V 21
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IJAMCS_2011_21_1_a0/
%G en
%F IJAMCS_2011_21_1_a0