@phdthesis{basesearch-5914,
  title = {A Formal Foundation of FDI Design via Temporal Epistemic Logic},
  author = {Marco Gario},
  year = {2016},
  url = {https://www.base-search.net/Record/9161efa448a40b5cbad6decac06a4ff349d0017c75a539ece7f2f0c81fe20801},
  note = {base-search.net (ftutrentophd:oai:eprints-phd.biblio.unitn.it:1676)},
  researchr = {https://researchr.org/publication/basesearch-5914},
  cites = {0},
  citedby = {0},
  school = {University of Trento, Italy},
}