No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
Advanced search..
SAT-based searching for k-quasi-optimal runs in weighted timed automataSAT-based searching for k-quasi-optimal runs in weighted timed automata
Find similar objects | Add to bibliography
Model checking of Java programs using networks of FADDsModel checking of Java programs using networks of FADDs
Computer use in the discovery of properties of functions and their proofsComputer use in the discovery of properties of functions and their proofs
Studencko-Doktorancki Biuletyn NaukowyStudencko-Doktorancki Biuletyn Naukowy
Evaluation of method for enumerating the most probable packet arrangementsEvaluation of method for enumerating the most probable packet arrangements
A correction method for projects of system safety from the risk minimization criterionA correction method for projects of system safety from the risk minimization criterion
Comparing SAT- and SMT- based bounded model checking for ECTL propertiesComparing SAT- and SMT- based bounded model checking for ECTL properties
Czasopisma NaukoweCzasopisma Naukowe