Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Lane Thomas Holloway

Original record
Institution
University of Texas at Austin
Year
2016
Country
United States
MGP identifier
300459

Dissertation: Modeling and Formal Verification of Gaming Storylines

Mathematics Subject Classification: 68—Computer science

Advisors 2

Students 0

No students recorded in this snapshot.

Genealogy