Federacja Bibliotek Cyfrowych

Homepage
Biblioteka Cyfrowa AJD
SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties

Object's details: SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties

tile.noImage

Provider:Biblioteka Cyfrowa AJD

Description

Title:
SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties
Creator:
Szczesniak, Ireneusz;
Woźna-Szcześniak, Bożena
Description:
Cz. 20;
Mathematics;
s. 69-81;
Scientific Issues Jan Długosz University in Częstochowa
Object availability:
free access
Type:
artykuł
Language:
English
Format:
application/pdf
Publisher:
Wydawnictwo im. Stanisława Podobińskiego Akademii im. Jana Długosza w Częstochowie
Identifier:
ISSN 1896–0286;
10.16926/m.2015.20.08;
http://dx.doi.org/10.16926/m.2015.20.08
Data provider:
Biblioteka Cyfrowa AJD

Can I use it?:
seek permission
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