Federacja Bibliotek Cyfrowych

Homepage
Biblioteka Cyfrowa AJD
On the SMT-based Verification of Communicative Commitments

Object's details: On the SMT-based Verification of Communicative Commitments

tile.noImage

Provider:Biblioteka Cyfrowa AJD

Description

Tytuł:
On the SMT-based Verification of Communicative Commitments
Twórca:
Szcześniak, Ireneusz;
Woźna-Szcześniak, Bożena
Opis:
Cz. 21;
Mathematics;
s. 161-187;
Scientific Issues Jan Długosz University in Częstochowa
Dostępność obiektu:
free access
Typ:
artykuł
Język:
English
Format:
application/pdf
Wydawca:
Wydawnictwo im. Stanisława Podobińskiego Akademii im. Jana Długosza w Częstochowie
Identyfikator:
ISSN 2450–9302;
10.16926/m.2016.21.14;
http://dx.doi.org/10.16926/m.2016.21.14
Dostawca danych:
Biblioteka Cyfrowa AJD

Czy mogę z tego obiektu skorzystać?:
check license
Rodzaj zawartości:
image

FBC TeNe Project

Project co-financed by European Funds under the Operational Program Digital Poland for 2014-2020 (project no. POPC.02.04.00-00-0012 / 20-00)

More information about the project can be found at: https://tene.fbc.pionier.net.pl

European Funds. Digital Poland

Republic of Poland

Digital Libraries Federation

European Union - European Regional Development Fund

We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy