Publications de
Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
Abstracting an Operational Semantics to Finite Automata (regular paper)
Dans : ICT in Education, Research, and Industrial Applications, Lviv, Ukraine, 14/05/15-16/05/15, Vol. 1356, Sotiris Batsakis, Heinrich C. Mayr, Vitaliy Yakovyna, Mykola Nikitchenko, Grygoriy Zholtkevych (Eds.), CEUR-WS : Workshop proceedings, p. 354-365, 2015.
Accès : url = { – https://oatao.univ-toulouse.fr/18942/
BibTeX