Ana Sokolova · 3 obras en el catálogoObrasMModel Checking SoftwareModel Checking SoftwareFFormal Techniques for Distributed Objects, Components, and SFormal Techniques for Distributed Objects, Components, and SystemsRReachability ProblemsReachability Problems
FFormal Techniques for Distributed Objects, Components, and SFormal Techniques for Distributed Objects, Components, and Systems