1.

Comparing SAT- and SMT- based bounded model checking for ECTL propertiesComparing SAT- and SMT- based bounded model checking for ECTL properties Find similar objects  |  Add to bibliography

2.

SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK propertiesSAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties Find similar objects  |  Add to bibliography

3.

Studencko-Doktorancki Biuletyn NaukowyStudencko-Doktorancki Biuletyn Naukowy Find similar objects  |  Add to bibliography

4.

Czasopisma NaukoweCzasopisma Naukowe Find similar objects  |  Add to bibliography

5.

RozdrożaRozdroża Find similar objects  |  Add to bibliography

6.

Historia III°Historia III° Find similar objects  |  Add to bibliography

7.

Res AcademicaeRes Academicae Find similar objects  |  Add to bibliography

8.

On the SMT-based Verification of Communicative CommitmentsOn the SMT-based Verification of Communicative Commitments Find similar objects  |  Add to bibliography