Characteristic invariants in Hennessy–Milner logic
Crossref DOI link: https://doi.org/10.1007/s00236-020-00376-5
Published Online: 2020-05-06
Published Print: 2020-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Jasper, Marc
Schlüter, Maximilian
Steffen, Bernhard
Funding for this research was provided by:
Technische Universität Dortmund
Text and Data Mining valid from 2020-05-06
Version of Record valid from 2020-05-06
Article History
Received: 15 July 2019
Accepted: 21 February 2020
First Online: 6 May 2020