Article,
Modal Logics for Nominal Transition Systems.
T. Weber, L. Eriksson, J. Parrow, J. Borgström, and R. Gutkovas.Arch. Formal Proofs, (2016)
Meta data
- BibTeX key
- journals/afp/WeberEPBG16
- entry type
- article
- year
- 2016
- journal
- Arch. Formal Proofs
- volume
- 2016
- ee
- https://www.isa-afp.org/entries/Modal_Logics_for_NTS.shtml
- url
- http://dblp.uni-trier.de/db/journals/afp/afp2016.html#WeberEPBG16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/afp/WeberEPBG16
%A Weber, Tjark
%A Eriksson, Lars-Henrik
%A Parrow, Joachim
%A Borgström, Johannes
%A Gutkovas, Ramunas
%D 2016
%J Arch. Formal Proofs
%K
%T Modal Logics for Nominal Transition Systems.
%U http://dblp.uni-trier.de/db/journals/afp/afp2016.html#WeberEPBG16
%V 2016
@article{journals/afp/WeberEPBG16,
added-at = {2023-12-12T17:50:21.000+0100},
author = {Weber, Tjark and Eriksson, Lars-Henrik and Parrow, Joachim and Borgström, Johannes and Gutkovas, Ramunas},
biburl = {https://www.bibsonomy.org/bibtex/29631f08abd10d456f78562a15814be52/admin},
ee = {https://www.isa-afp.org/entries/Modal_Logics_for_NTS.shtml},
interhash = {09850dee8e9ea0cee1724fc2184f3cbb},
intrahash = {9631f08abd10d456f78562a15814be52},
journal = {Arch. Formal Proofs},
keywords = {},
timestamp = {2023-12-12T17:50:21.000+0100},
title = {Modal Logics for Nominal Transition Systems.},
url = {http://dblp.uni-trier.de/db/journals/afp/afp2016.html#WeberEPBG16},
volume = 2016,
year = 2016
}