MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Piotr Dembinski – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Forte'95 Panel: Formal Methods After 15 Years: Status and Trends
by Piotr Dembinski — 1995
…FORTE'95 PANEL: FORMAL METHODS AFTER 15 YEARS: STATUS AND TRENDS Piotr Dembinski Institute…
Add To MetaCart

Some Estelle mechanisms revisited
by Stanislaw Budkowski Piotr, Piotr Dembinski
…Some Estelle mechanisms revisited Stanislaw Budkowski 1 , Piotr Dembinski 2 (1) Software…
Add To MetaCart

Verification of Timed Automata Based on Similarity
by Piotr Dembinski, Piotr Dembi Nski, Agata Polrola, Wojciech Penczek, Agata P Ol/rola — 2002
… 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
by Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Polrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny — 2003
…p erics: A Tool for Verifying Timed Automata and Estelle Specications ? Piotr Dembinski 1…
Cited by 15 (10 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB