|
СТ |
A Checker for Modal Formulae for Processes with Data |
2004 |
Groote J. F., Willemse T.A. C. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
12.02.2005 |
|
СТ |
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially |
2001 |
Groote J. F., Zantema H. |
|
|
|
Lecture Notes in Computer Science |
06.02.2002 |
|
СТ |
Towards a Unified Toolset for Embedded Systems Development |
2000 |
Bakhmurov A. G., Chervin V. I., Chistolinov M. V., Groote J. F., Kostenko V. A., Smeliansky R. L., Tsarkov D. V., Usenko V. A., Winter K., Zakharov V. A. |
|
|
|
Проблемы программирования |
10.06.2000 |
|
СТ |
Verification of Temporal Properties of Processes in a Setting with Data |
1999 |
Groote J. F., Mateescu R. |
|
|
|
Lecture Notes in Computer Science |
05.02.1999 |
|
СТ |
Checking Verifications of Protocols and Distributed Systems by Computer |
1998 |
Groote J. F., Monin F., Van De Pol J. |
|
|
|
Lecture Notes in Computer Science |
11.09.1998 |
|
СТ |
Equivalence of the Concave Optimisation Method and d"Agostino s Tableaux for Propositional Logic |
1996 |
Groote J. F., Van Maaren H. |
|
|
|
ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996 |
06.12.1996 |
|
СТ |
Confluence for Process Verification |
1995 |
Groote J. F., Sellink M.P. A. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
|
П |
Specification and Verification of Real Time Systems in ACP |
1990 |
Groote J. F. |
|
|
CWI |
|
07.06.1995 |
|
СТ |
Invariants in Process Algebra with Data |
1994 |
Bezen M., Groote J. F. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Verification of Parallel System Via Decomposition |
1992 |
Groote J. F., Moller F. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
