Semantics Model of PROMELA
(1996)
Languages mentioned
PROMELA
{1996}