Automating Checking of Models Built Using a Graphically Based Formal Modelling Language.

Robert John Walters

Browse the full COMPSAC paper archive.