@article{Kapus09,
  title = {Using Mobile TLA as a Logic for Dynamic I/O Automata},
  author = {Tatjana Kapus},
  year = {2009},
  url = {http://search.ieice.org/bin/summary.php?id=e92-d_8_1515},
  tags = {logic, mobile},
  researchr = {https://researchr.org/publication/Kapus09},
  cites = {0},
  citedby = {0},
  journal = {IEICE Transactions},
  volume = {92-D},
  number = {8},
  pages = {1515-1522},
}