Towards Encoding of the Transition Relation in Dialogue...

Fundamenta Informaticae 2019 / 03 Vol. 165; Iss. 3-4

Towards Encoding of the Transition Relation in Dialogue Games Model Checking

Sawicka, Anna, Kacprzak, Magdalena, Zbrzezny, Andrzej, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
165
Language:
english
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2019-1789
Date:
March, 2019
File:
PDF, 166 KB
english, 2019
Conversion to is in progress
Conversion to is failed