Samir Youcef

From MaRDI portal
Person:3172927

Available identifiers

zbMath Open youcef.samirMaRDI QIDQ3172927

List of research outcomes





PublicationDate of PublicationType
Parallel Nested Depth-First Searches for LTL Model Checking2011-10-07Paper

Research outcomes over time

This page was built for person: Samir Youcef