MOLECULAR MODEL CHECKING
EMERSON, E. ALLEN, HAGER, KRISTINA D., KONIECZKA, JAY H.Volume:
17
Language:
english
Journal:
International Journal of Foundations of Computer Science
DOI:
10.1142/S0129054106004078
Date:
August, 2006
File:
PDF, 564 KB
english, 2006