Musab AlTurki (University of Illinois at Urbana-Champaign)

Identifiers

• name variant Musab AlTurki (University of Illinois at Urbana-Champaign) 0.60 · backfill

Papers (1)

1. Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis cs.LO · 2010 · author #1

Mentions

• 1009.4260 #1 · backfill · confidence 0.70 Musab AlTurki (University of Illinois at Urbana-Champaign)

Frequent Coauthors

• Jos\'e Meseguer (University of Illinois at Urbana-Champaign) 1 shared papers