Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard.

Cindy Eisner Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard. 107-124 2002 4 STTT 1 http://link.springer.de/link/service/journals/10009/bibs/2004001/20040107.htm db/journals/sttt/sttt4.html#Eisner02