Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Loïc Hélouët
Realizability of Schedules by Stochastic Time Petri Nets With Blocking Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Active Diagnosis for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a UML Profile for Software Product Lines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science