Login / Signup
Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors.
Peter Lammich
Markus Müller-Olm
Published in:
Arch. Formal Proofs (2007)
Keyphrases
</>
data sets
clustering algorithm
database systems
data analysis
information technology