Search results

Articles (5)

Journals (0)

1-5 of 5 results for Hennessy Milner Logic

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2020

Causal Reasoning for Safety in Hennessy Milner Logic

Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh

Fundamenta Informaticae

Retricted access

Research article

First published 2020

Denisa Diaconescu

Fundamenta Informaticae

Retricted access

Research article

First published 2017-1-30

Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc-Thanh Nguyen [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2020

Linda Brodo, Carlos Olarte

Fundamenta Informaticae

Retricted access

Research article

First published 2012-1

Sergio Celani, Ramon Jansana

Fundamenta Informaticae