|
СТ |
Verics: A Tool for Verifying Timed Automata and Estelle Specifications |
2003 |
Dembinski P., Janowska A., Janowsi P., Penczek W., Polrola A., Szreter M., Wozna B., Zbrzezny A. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
|
СТ |
Reducing Model Checking from Multi-valued CTL to CTL |
2002 |
Konikowska B., Penczek W. |
|
|
|
Lecture Notes in Computer Science |
04.09.2002 |
|
СТ |
Automated Verification of Infinite State Concurrent Systems |
2002 |
Dembinski P., Penczek W., Polrola A. |
|
|
|
Lecture Notes in Computer Science |
31.07.2002 |
|
СТ |
Modelling rational BDI-agents within the framework of asynchronous automata |
1997 |
Ambroszkiewicz S., Penczek W. |
|
|
|
Proceedings of the CS&P 97 Workshop |
01.11.1997 |
|
СТ |
A Hierarchy of Partial Order Temporal Properties |
1994 |
Kwiatkowska M., Peled D., Penczek W. |
|
|
|
Lecture Notes in Artificial Intelligence |
12.08.1994 |
|
СТ |
Axiomatizations of Temporal Logics on Trace Systems |
1993 |
Penczek W. |
|
|
|
Lecture Notes in Computer Science |
06.04.1993 |
|
СТ |
Propositional Temporal Logics and Equivalences |
1992 |
Goltz U., Kuiper R., Penczek W. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
