VIAF

Virtual International Authority File

Search

Zbrzezny, Andrzej. National Library of Poland NUKAT Center of Warsaw University Library ISNI

VIAF ID: 162067812 (Personal)

Permalink: https://viaf.org/viaf/162067812

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close SectionWorks

Title Sources
A Boolean encoding of arithmetic operations National Library of Poland NUKAT Center of Warsaw University Library
Branching time bounded model checking for elementary net systems National Library of Poland NUKAT Center of Warsaw University Library
Checking reachability properties for timed automata via SAT National Library of Poland NUKAT Center of Warsaw University Library
Natural deduction system for some three-valued propositional logic National Library of Poland
SAT-based bounded model checking for the universal fragment of TCTL National Library of Poland NUKAT Center of Warsaw University Library

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (1)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (1)

Open Section Close Section About

Open Section Close Section History of VIAF ID:162067812 (4)