![](/img/cover-not-exists.png)
[IEEE 2008 23rd International Symposium on Computer and Information Sciences (ISCIS) - Istanbul, Turkey (2008.10.27-2008.10.29)] 2008 23rd International Symposium on Computer and Information Sciences - Specification and verification of agent interactions in matchmaking processes using FSP and FLTL
Badica, Amelia, Badica, CostinYear:
2008
Language:
english
DOI:
10.1109/iscis.2008.4717962
File:
PDF, 475 KB
english, 2008