33981 articles – 26806 Notices  [english version]
.:. Consultation > Par auteur > Aljazzar .:.
1 document

fulltext access Survey on Directed Model Checking
Edelkamp S., Schuppan V., Bosnacki D., Wijs A., Fehnker A., Aljazzar H.
Model Checking and Artificial Intelligence 5348 (2009) 65-89 [inria-00406552 - version 1]