55 results on '"Woźna-Szcześniak, Bożena"'
Search Results
52. BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance
53. A Translation of the Existential Model Checking Problem from MITL to HLTL
54. Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems
55. An External Circular Crack in an Infinite Solid under Axisymmetric Heat Flux Loading in the Framework of Fractional Thermoelasticity.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.