Вы здесь

Главная

ltl-synthesis

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

Computer Aided Verification: Proc./25th International Conference, CAV 2013, Saint Petersburg, Russia, July 2013