Towards Verification of Dialogue Protocols: A Mathematical Model

Magdalena Kacprzak , A. Sawicka , A. Zbrzezny

Abstract

n/a
Author Magdalena Kacprzak (FCS / DTCS)
Magdalena Kacprzak,,
- Department of Theoretical Computer Science
, A. Sawicka
A. Sawicka,,
-
, A. Zbrzezny
A. Zbrzezny,,
-
Pages329-339
Publication size in sheets0.78
Book Artificial Intelligence and Soft Computing : 15th International Conference, ICAISC 2016 : proceedings [Dokument elektroniczny], Lecture Notes in Computer Science, no. Vol. 9693 : Lecture Notes in Artificial Intelligence, 2016, Springer, ISBN 978-3-319-39384-1
DOIDOI:10.1007/978-3-319-39384-1_28
Internal identifier000037594
Languageen angielski
Score (nominal)0
Score sourcejournalList
ScoreBUT score = 15.0, 11-01-2019, manual
Ministerial score = 0.0, 17-01-2020, BookChapterSeriesAndMatConfByIndicator
Ministerial score (2013-2016) = 0.0, 17-01-2020, BookChapterSeriesAndMatConfByIndicator
Citation count*
Cite
Share Share

Get link to the record


* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Back
Confirmation
Are you sure?