Publications

Kardos, Martin: Model Checking AsmL Specifications (Extended Abstract). , In 11th Workshop on Abstract State Machines, ASM 2004, 24.-28. May 2004, Lutherstadt Wittenberg, Germany, 24 May 2004

files

paper.pdf

Bibtex

@unpublished{hniid=1981,
author = {Kardos, Martin},
title = {Model Checking AsmL Specifications (Extended Abstract)},
note = {In 11th Workshop on Abstract State Machines, ASM 2004, 24.-28. May 2004, Lutherstadt Wittenberg, Germany},
month = {24~} # may,
year = {2004},
}