Marcin Szpyrka, Piotr Matyasik, Michal Wypych. Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation. In Marcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak, editors, Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland. Volume 1032 of CEUR Workshop Proceedings, pages 409-420, CEUR-WS.org, 2013. [doi]
Abstract is missing.