Cited By
View all- Mulvin D(2017)The media of high-resolution timeThe Information Society10.1080/01972243.2017.135410933:5(282-290)Online publication date: 1-Oct-2017
- Savage N(2015)Split secondCommunications of the ACM10.1145/280044158:9(12-14)Online publication date: 24-Aug-2015
- Leungwattanakit WArtho CHagiya MTanabe YYamamoto MTakahashi K(2014)Modular Software Model Checking for Distributed SystemsIEEE Transactions on Software Engineering10.1109/TSE.2013.4940:5(483-501)Online publication date: 1-May-2014