|
|
|
|
IPI PAN Reports:
|
ISSN 0138-0648
|
|
|
1012.
|
Piotr Dembiński, Gizela Jakubowska, Wojciech Penczek:
Towards Scenarios of External Attacks upon Security Protocols
November 2008, 24 pp.,
Abstract
|
|
1011.
|
Teresa Kowalczyk:
On derivation of maximal Spearman rho
and maximal Kendall tau for bivariate distributions
November 2008, 40 pp.,
Abstract
|
| 1010. |
Mirosław Kurkowski, Wojciech Penczek:
Timed automata based model checking >of timed security protocols
September 2008, pp. 36,
Abstract
|
|
1009.
|
Artur Niewiadomski, Wojciech Penczek, Maciej Szreter:
Operational semantics of selected UML diagrams
March 2008, pp. 64,
Abstract
|
|
1008.
|
Elżbieta Pleszczyńska, Krzysztof Markiewicz, Leszek Gołasz, Krzysztof Syncerz (Eds.):
On a wheel-chair through World Wide Web to Europe? Part VI
February 2008, pp. 36 ,
Abstract
|
|
1007.
|
Anna Wolińska-Welcz:
An application of grade data analysis
to questionnaires and clinical scale data
January 2008, pp. 12,
Abstract
|
|
|
|
|
|
|
 |
|
|
|
|
|
|
|
|
