Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation.

Published in: CS&P (2013)

Keyphrases