TYTUŁ ARTYKUŁU

A Note on Bisimulations of Finite Kripke Models

AUTORZY
Małgorzata Kruszelnicka
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2012 / Tom 41 / Numer 3-4
STRONY
185 - 198
ROK
2012
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

Pełny tekst tego artykułu nie jest dostępny w BazHum.

Zacytuj

CZYSTY TEKST

Małgorzata Kruszelnicka, A Note on Bisimulations of Finite Kripke Models, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 3-4, s. 185 - 198

BIBTEX

Małgorzata Kruszelnicka. A Note on Bisimulations of Finite Kripke Models. Bulletin of the Section of Logic, 41(3-4):185–198, 2012.

Pokaż kod BibTeX 
@article{bazhum244786,
  author = {Kruszelnicka, Małgorzata},
  title = {{A Note on Bisimulations of Finite Kripke Models}},
  journal = {Bulletin of the Section of Logic},
  year = {2012},
  volume = {41},
  number = {3-4},
  pages = {185--198},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/244786}
}