Вы здесь

Главная

линейное время

Связанные издания:

CONCUR 2007 - Concurrency Theory: Proc./18th International Conference. Lisbon, Portugal, September 2007
Parameterized Model Checking of Ring-Based Message Passing Systems
Testing Temporal Logic Properties in Distributed Systems