|
СТ |
Efficient FixPoint Computation |
1994 |
Vergauwen B., Wauman J., Lewi J. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
Efficient Computation of Nested Fix-Points, with Applications to Model Checking |
1994 |
Vergauwen B., Lewi J., Avau I., Pote A. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.08.1994 |
|
СТ |
Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems |
1994 |
Vergauwen B., Lewi J. |
|
|
|
Lecture Notes in Computer Science |
09.08.1994 |
|
СТ |
Proving Termination of (Conditional) Rewrite Systems |
1993 |
Bevers E., Lewi J. |
|
|
|
Acta Informatica |
25.11.1993 |
|
СТ |
Constaints in Object-Oriented Analysis |
1993 |
Van Baelen S., Lewi J., Steegmans E., Swennen B. |
|
|
|
Lecture Notes in Computer Science |
23.11.1993 |
|
СТ |
A Linear Local Model Checking Algorithm for CTL |
1993 |
Vergauwen B., Lewi J. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
