Federacja Bibliotek Cyfrowych

Homepage
Biblioteka Cyfrowa AJD
SAT-based searching for k-quasi-optimal runs in weighted timed automata

Object's details: SAT-based searching for k-quasi-optimal runs in weighted timed automata

tile.noImage

Provider:Biblioteka Cyfrowa AJD

Description

Title:
SAT-based searching for k-quasi-optimal runs in weighted timed automata
Creator:
Woźna-Szcześniak, Bożena;
Zbrzezny, Andrzej
Description:
Cz. 15;
Matematyka;
Prace Naukowe Akademii im. Jana Długosza w Częstochowie;
s. 163-176
Object availability:
free access
Type:
artykuł
Language:
English
Format:
application/pdf
Publisher:
Wydawnictwo Akademii im. Jana Długosza w Częstochowie
Identifier:
ISBN 978-83-7455-161-8;
ISSN 1896-0286
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