On temporal logic S4Dbr
S. Norgėla, L. SkripkauskasVolume:
46
Language:
english
Pages:
10
Journal:
Lithuanian Mathematical Journal
DOI:
10.1007/s10986-006-0020-4
Date:
April, 2006
File:
PDF, 101 KB
english, 2006