![External memory algorithms for state space exploration in model checking and action planning [Elektronische Ressource] / von Shahid Jabbar](https://img.uscri.be/pth/95342efee6678984b4769363fba014a5fa746c01)
Documents
Savoirs
External memory algorithms for state space exploration in model checking and action planning [Elektronische Ressource] / von Shahid Jabbar
Auteur
Shahid Jabbar
Œuvres
(
1
)
Ajouté à mes notifications
Vous serez informé des prochaines publications.