ИСТИНА

Fisher Jasmin

Соавторы: Ahmed Z., Benque D., Dahl Anna C.E., Hall B.A., Ishtiaq S., Nanavati J., Piterman N., Riechert M., Березин С.Б.

1 статья

Количество цитирований статей в журналах по данным Web of Science: 3, Scopus: 3

IstinaResearcherID (IRID): 43742616

Деятельность

• Статьи в журналах

  • 
    • 2017 Bringing LTL Model Checking to Biologists
    • 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, с. 1-13 DOI