|
СТ |
Efficient Minimization up to Location Equivalence |
1996 |
Montanari U., Pistore M., Yankelevich D. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
|
СТ |
Optimality in Abstractions of Model Checking |
1995 |
Cleaveland R., Iyer P., Yankelevich D. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
16.11.1995 |
|
СТ |
On the Operational Semantics of a Coordination Language |
1995 |
Ciancarini P., Jensen K. K., Yankelevich D. |
Lecture Notes in Computer Science |
|
|
Object-Based Models and Languages for Concurrent Systems |
30.08.1995 |
|
СТ |
Read-Write Causality |
1994 |
Priami C., Yankelevich D. |
|
|
|
Lecture Notes in Computer Science |
30.09.1994 |
|
СТ |
Yeast: A case study for a practical use of formal methods |
1993 |
Inverardi P., Krishnamurthy B., Yankelevich D. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
