Local model checking for infinite state spaces
Julian Bradfield, Colin StirlingVolume:
96
Année:
1992
Langue:
english
Pages:
18
DOI:
10.1016/0304-3975(92)90183-g
Fichier:
PDF, 971 KB
english, 1992