Inproceedings,
A Model for Collaborative Runtime Verification.
B. Testerink, N. Bulling, and M. Dastani.AAMAS, page 1781-1782. ACM, (2015)
Meta data
- BibTeX key
- conf/atal/TesterinkBD15
- entry type
- inproceedings
- booktitle
- AAMAS
- year
- 2015
- pages
- 1781-1782
- publisher
- ACM
- crossref
- conf/atal/2015
- ee
- http://dl.acm.org/citation.cfm?id=2773434
- isbn
- 978-1-4503-3413-6
- url
- http://dblp.uni-trier.de/db/conf/atal/aamas2015.html#TesterinkBD15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/atal/TesterinkBD15
%A Testerink, Bas
%A Bulling, Nils
%A Dastani, Mehdi
%B AAMAS
%D 2015
%E Weiss, Gerhard
%E Yolum, Pinar
%E Bordini, Rafael H.
%E Elkind, Edith
%I ACM
%K
%P 1781-1782
%T A Model for Collaborative Runtime Verification.
%U http://dblp.uni-trier.de/db/conf/atal/aamas2015.html#TesterinkBD15
%@ 978-1-4503-3413-6
@inproceedings{conf/atal/TesterinkBD15,
added-at = {2023-12-14T15:05:11.000+0100},
author = {Testerink, Bas and Bulling, Nils and Dastani, Mehdi},
biburl = {https://www.bibsonomy.org/bibtex/2ca7b2ee4b7d94044ef21aca8e4a4f171/admin},
booktitle = {AAMAS},
crossref = {conf/atal/2015},
editor = {Weiss, Gerhard and Yolum, Pinar and Bordini, Rafael H. and Elkind, Edith},
ee = {http://dl.acm.org/citation.cfm?id=2773434},
interhash = {e702a6ae4af734a0dc11dc6950727356},
intrahash = {ca7b2ee4b7d94044ef21aca8e4a4f171},
isbn = {978-1-4503-3413-6},
keywords = {},
pages = {1781-1782},
publisher = {ACM},
timestamp = {2023-12-14T15:05:11.000+0100},
title = {A Model for Collaborative Runtime Verification.},
url = {http://dblp.uni-trier.de/db/conf/atal/aamas2015.html#TesterinkBD15},
year = 2015
}