Formal Methods in Software Engineering

Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification

Year2019
TypeConference
StatusProceedings
AuthorsRodica Condurache, Et al.

Links

Abstract

PRIMA 2019: 106-122

BibTeX

@TechReport{ name, author = {}, title = {}, institution = {}, year = {}, number = {}, month = {}, note = {}, url = {} }