Acte de conférence, colloque et atelier

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