%0 Journal Article %1 journals/acta/JasperSS20 %A Jasper, Marc %A Schlüter, Maximilian %A Steffen, Bernhard %D 2020 %J Acta Informatica %K dblp %N 3-5 %P 671-687 %T Characteristic invariants in Hennessy-Milner logic. %U http://dblp.uni-trier.de/db/journals/acta/acta57.html#JasperSS20 %V 57

@article{journals/acta/JasperSS20, added-at = {2021-05-14T00:00:00.000+0200}, author = {Jasper, Marc and Schlüter, Maximilian and Steffen, Bernhard}, biburl = {https://www.bibsonomy.org/bibtex/2e059c3ae0d8d9ea322490db655309997/dblp}, ee = {https://doi.org/10.1007/s00236-020-00376-5}, interhash = {44fe6e7043bedb32f7e596e91823ceb5}, intrahash = {e059c3ae0d8d9ea322490db655309997}, journal = {Acta Informatica}, keywords = {dblp}, number = {3-5}, pages = {671-687}, timestamp = {2024-04-08T16:43:55.000+0200}, title = {Characteristic invariants in Hennessy-Milner logic.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta57.html#JasperSS20}, volume = 57, year = 2020 }