Wykaz publikacji wybranego autora

Ireneusz Szcześniak, dr inż.

Wydział Informatyki, Elektroniki i Telekomunikacji
WIEiT-kt, *Katedra Telekomunikacji

Identyfikatory Autora
ORCID: brak ResearcherID: brak Scopus: brak

Identyfikatory Autora

ORCID: brak

ResearcherID: brak

Scopus: brak

wydruk:

sortowanie:

1

Bounded model checking for weighted interpreted systems and for flat weighted epistemic computation tree logic
Bounded model checking for weighted interpreted systems and for flat weighted epistemic computation tree logic / Bożena Woźna-Szcześniak, Ireneusz SZCZEŚNIAK, Agnieszka M. Zbrzezny, Andrzej Zbrzezny // W: PRIMA 2014: Principles and Practice of Multi-Agent Systems : 17th international conference : Gold Coast, QLD, Australia, December 1-5, 2014 : proceedings / eds. Hoa Khanh Dam, [et al.]. — Cham [etc.] : Springer, cop. 2014. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 8861. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-13190-0 ; e-ISBN: 978-3-319-13191-7. — S. 107–115. — Bibliogr. s. 107, Abstr.