Skip to content

Labelled Transition System Generation from Alvis Language.

Leszek Kotulski, Marcin Szpyrka, Adam Sedziwy

VenueBKES
Year2011
ProceedingsKES (1)

Browse the full KES paper archive.