Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
University of Southampton
Department of Astronomy, University of Florida
Deriving Relationship Between Semantic Models - An Approach for cCSP
Extinction Mapping of Infrared Dark Clouds: Probing the Initial Conditions of Star Cluster Formation
Formalizing cCSP Synchronous Semantics in PVS
New results on Infrared Dark Clouds
Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp
No associations
LandOfFree
Michael Butler does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Michael Butler, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Michael Butler will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-172098