Time in a Multi-Theory Logical Framework - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Paolo Mancarella, Alessandra Raffaetà, Franco Turini. Time in a Multi-Theory Logical Framework. In TIME. pages 62-70, 1997. [doi]

@inproceedings{MancarellaRT97,
  title = {Time in a Multi-Theory Logical Framework},
  author = {Paolo Mancarella and Alessandra Raffaetà and Franco Turini},
  year = {1997},
  url = {http://www.computer.org/proceedings/time/7937/79370062abs.htm},
  researchr = {https://researchr.org/publication/MancarellaRT97},
  cites = {0},
  citedby = {0},
  pages = {62-70},
  booktitle = {TIME},
}

runs on WebDSL