dblp.uni-trier.dewww.uni-trier.de

Marina Bagic Babac Vis

Marina Bagic

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
4EEMarina Bagic Babac, Marijan Kunstic: Implementation of Epistemic Operators for Model Checking Multi-agent Systems. ICCCI 2009: 217-228
2007
3 Marina Bagic, Mojca Ciglaric: Modelling Epistemic Properties for Specification and Verification of a Multi-agent System. Software Engineering Research and Practice 2007: 197-202
2006
2EEMarina Bagic, Marijan Kunstic: Verification of Intelligent Agents with ACTL for Epistemic Reasoning. CIMCA/IAWTIC 2006: 62
2004
1EEMarina Bagic: Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets. OTM Workshops 2004: 842-853

Coauthor Index

1Mojca Ciglaric [3]
2Marijan Kunstic [2] [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)