Bringing LTL Model Checking to Biologistsстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Дата последнего поиска статьи во внешних источниках: 9 марта 2017 г.
-
Авторы:
Ahmed Zara,
Benque David,
Berezin Sergey,
Dahl Anna Caroline E.,
Fisher Jasmin,
Hall Benjamin A.,
Ishtiaq Samin,
Nanavati Jay,
Piterman Nir,
Riechert Maik
-
Журнал:
Verification, Model Checking, and Abstract Interpretation
-
Год издания:
2017
-
Первая страница:
1
-
Последняя страница:
13
-
DOI:
10.1007/978-3-319-52234-0_1
-
Добавил в систему:
Березин Сергей Борисович