Conference , Workshops Proceedings

Recognizing Finite-State ...

Yevtushenko, N., Kufareva, I. and Petrenko, A. "Recognizing Finite-State-Machine Properties" in Proceedings of the Third Siberian Congress on Industrial and Applied Mathematics (INPRIM-98). Novosibirsk, Russia

  • CANARIE RT @CANARIE_Inc: How do you know whether online education is effective? CANARIE Research Software Program VESTA has it figured out @CRIM_ca…
  • CANARIE RT @CANARIE_Inc: Comment savoir si l'enseignement en ligne est efficace? Le logiciel de recherche Vesta financé par CANARIE a trouvé la sol…