Amelia Badica Costin Badica Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods. 390-394 2008 AIMSA http://dx.doi.org/10.1007/978-3-540-85776-1_36 conf/aimsa/2008 db/conf/aimsa/aimsa2008.html#BadicaB08