# Model Checking Time Triggered CAN Protocols

> 2011 master's thesis by Daniel Keating at University of Canterbury

**Wikidata**: [Q112886718](https://www.wikidata.org/wiki/Q112886718)  
**Source**: https://4ort.xyz/entity/model-checking-time-triggered-can-protocols