28585 articles – 22073 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]