Searching for authors named Piotr Dembinski – sorted by Relevance.
-
Forte'95 Panel: Formal Methods After 15 Years: Status and Trends
- FORTE'95 PANEL: FORMAL METHODS AFTER 15 YEARS: STATUS AND TRENDS Piotr Dembinski Institute
- Add To MetaCart
-
Some Estelle mechanisms revisited
- Some Estelle mechanisms revisited Stanislaw Budkowski 1 , Piotr Dembinski 2 (1) Software
- Add To MetaCart
-
Verification of Timed Automata Based on Similarity
- on Similarity Piotr Dembi nski and Wojciech Penczek y Institute of Computer Science, PAS Ordona 21, 01
- Cited by 1 (1 self) – Add To MetaCart
-
Verics: A Tool for Verifying Timed Automata and Estelle Specifications
- p erics: A Tool for Verifying Timed Automata and Estelle Specications ? Piotr Dembinski 1
- Cited by 15 (10 self) – Add To MetaCart

