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

Title:
On the SMT-based Verification of Communicative Commitments
Creator:
Szcześniak, Ireneusz;
Woźna-Szcześniak, Bożena
Description:
Cz. 21;
Mathematics;
s. 161-187;
Scientific Issues Jan Długosz University in Częstochowa
Object availability:
free access
Rights:
CC BY 3.0 PL
Type:
artykuł
Language:
English;
eng
Format:
application/pdf
Publisher:
Wydawnictwo im. Stanisława Podobińskiego Akademii im. Jana Długosza w Częstochowie
Identifier:
ISSN 2450–9302;
10.16926/m.2016.21.14;
http://dx.doi.org/10.16926/m.2016.21.14
Data provider:
Biblioteka Cyfrowa AJD

Can I use it?:
check license
Type:
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