Publications

lmcs15

Summary

M. Bozzano, A. Cimatti, M. Gario and S. Tonetta (2015) Formal Design of Asynchronous FDI Components using Temporal Epistemic Logic. In Logical Methods in Computer Science, 11.

BibTeX Entry

@ARTICLE { LMCS15,
    AUTHOR = { M. Bozzano and A. Cimatti and M. Gario and S. Tonetta },
    TITLE = { Formal Design of Asynchronous FDI Components using Temporal Epistemic Logic },
    JOURNAL = { Logical Methods in Computer Science },
    VOLUME = { 11 },
    YEAR = { 2015 },
}