Specifying Agent Observable Behaviour

@inproceedings{obs-aamas02,
   acm = {544913},
   address = {Bologna, Italy},
   apice = {ObsAamas2002},
   author = {Viroli, Mirko and Omicini, Andrea},
   booktitle = {1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002)},
   dblp = {conf/atal/ViroliO02},
   doi = {10.1145/544862.544913},
   editor = {Castelfranchi, Cristiano and Johnson, W. Lewis},
   isbn = {1-58113-480},
   lens = {063-269-471-038-02X},
   month = {15--19~} # jul,
   openalex = {W1986264086},
   pages = {712--720},
   publisher = {ACM Press},
   scopus = {2-s2.0-0036355135},
   title = {Specifying Agent Observable Behaviour},
   url = {http://dl.acm.org/citation.cfm?id=544913},
   volume = 2,
   year = 2002
}