Clocked Mazurkiewicz Traces and Partial Order Reductions for Timed Automata D. Lugiez, P. Niebert, S. Zennou Laboratoire d Informatique Fondamentale de.
Intro to Matrices Reference: “3D Math Primer for Graphics and Game Development”, chapter 4.
Reference: “3D Math Primer for Graphics and Game Development”, chapter 4 INTRO TO MATRICES.
Algebra 2: Lesson 5 Using Matrices to Organize Data and Solve Problems.
Matrix Algebra - Overview
Stephen Hill, Saiti Datta and Sanhita Ghosh, NHMFL and Florida State University