Bibtex de la publication

@InProceedings{ Ba2015.24,
author = {Baklanova, Nadezhda and Ricciotti, Wilmer and Smaus, Jan-Georg and Strecker, Martin},
title = "{Abstracting an Operational Semantics to Finite Automata (regular paper)}",
booktitle = "{ICT in Education, Research, and Industrial Applications, Lviv, Ukraine, 14/05/2015-16/05/2015}",
editor = {Batsakis, Sotiris and Mayr, Heinrich C. and Yakovyna, Vitaliy and Nikitchenko, Mykola and Zholtkevych, Grygoriy},
year = {2015},
publisher = {CEUR Workshop Proceedings},
address = {},
volume = {1356},
pages = {354--365},
language = {anglais},
URL = {url%20%20%20%20%20%20%20=%20%7B},
keywords = {finite automata, operational semantics, Isabelle}