1.

Verifying RTECTL properties of a train controller systemVerifying RTECTL properties of a train controller system Find similar objects  |  Add to bibliography

2.

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

3.

A construction of infinite set of rational self-equivalencesA construction of infinite set of rational self-equivalences Find similar objects  |  Add to bibliography

4.

Classical and non-classical processor sharing systems with non-homogeneous customersClassical and non-classical processor sharing systems with non-homogeneous customers Find similar objects  |  Add to bibliography

5.

Analysis of fundamental solutions to fractional diffusion-wave equation in polar coordinatesAnalysis of fundamental solutions to fractional diffusion-wave equation in polar coordinates Find similar objects  |  Add to bibliography

6.

Construction of modular number systems with arbitrary finite rangesConstruction of modular number systems with arbitrary finite ranges Find similar objects  |  Add to bibliography

7.

Generalization of probability density of random variablesGeneralization of probability density of random variables Find similar objects  |  Add to bibliography

8.

A certain approach to Kripke semantics for normal modal logicsA certain approach to Kripke semantics for normal modal logics Find similar objects  |  Add to bibliography

9.

Some remarks on mappings that preserve unit distanceSome remarks on mappings that preserve unit distance Find similar objects  |  Add to bibliography

10.

Derivative of a function at a point and integral by professor Igor KluvanekDerivative of a function at a point and integral by professor Igor Kluvanek Find similar objects  |  Add to bibliography

11.

Comparison of v-sparse topologiesComparison of v-sparse topologies Find similar objects  |  Add to bibliography

12.

Oscillation on the left and on the rightOscillation on the left and on the right Find similar objects  |  Add to bibliography

13.

On preponderantly continuous functionsOn preponderantly continuous functions Find similar objects  |  Add to bibliography

14.

The projective representations types of finite groups over a ring of formal power seriesThe projective representations types of finite groups over a ring of formal power series Find similar objects  |  Add to bibliography

15.

On cluster sets of connected functionsOn cluster sets of connected functions Find similar objects  |  Add to bibliography