Publication
Detail
Publication date: 01/11/2009Runtime Veri?cation of Agent Properties
URL | http://centria.di.fct.unl.pt/~lmp/publications/online-papers/temporal.pdf |
---|---|
Publisher | Univ. Évora |
URL | http://centria.di.fct.unl.pt/~lmp/publications/online-papers/temporal.pdf |
Publisher | Univ. Évora |