Musab A. Alturki, PhD
Projects
Publications
Talks
Teaching
Blog
CV

Musab A. Alturki, PhD

Senior Research Engineer @ Runtime Verification Inc. working on formal modeling and verification of blockchain and distributed systems

Urbana, IL, USA
Email
Twitter
LinkedIn
Github
Google Scholar
DBLP
ORCID

Rewriting-based Formal Modeling and Analysis of Timed Distributed Services

Date: October 12, 2011

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2021 Musab A. Alturki. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.