Общедоступные статьи - Joxan JaffarПодробнее...
1 статья доступна в некоторых источниках
Model counting for recursively-defined strings
MT Trinh, DH Chu, J Jaffar
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
Финансирование: Austrian Science Fund
Информация о публикациях и финансировании собрана автоматически.