|
СТ |
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the Fly Transactions |
2006 |
Kahlon V., Gupta A., Sinha N. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
28.09.2006 |
|
СТ |
Parameterized Model Checking of Ring-Based Message Passing Systems |
2004 |
Emmerson E. A., Kahlon V. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.12.2004 |
|
СТ |
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols |
2003 |
Emerson E. A., Kahlon V. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
|
СТ |
Model Checking Large-Scale and Parameterized Resource Allocation Systems |
2002 |
Emerson E. A., Kahlon V. |
|
|
|
Lecture Notes in Computer Science |
21.05.2002 |
