An Overview of the Integrated Formalism RT-Z

Carsten Sühl. An Overview of the Integrated Formalism RT-Z. Formal Asp. Comput., 13(2):94-110, 2002. [doi]

@article{Suhl02:0,
  title = {An Overview of the Integrated Formalism RT-Z},
  author = {Carsten Sühl},
  year = {2002},
  url = {http://link.springer.de/link/service/journals/00165/bibs/2013002/20130094.htm},
  researchr = {https://researchr.org/publication/Suhl02%3A0},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {13},
  number = {2},
  pages = {94-110},
}