Research Publications for Sapna Jaidka
Welcome to the University of Waikato research publications search page. This database includes all research publications produced by the University from 1998.
Use our Online Phonebook to contact our current staff members.
Jaidka, S., Reeves, S., & Bowen, J. (2017). Modelling safety-critical devices: coloured Petri nets and Z. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (pp. 51-56). Conference held Lisbon, Portugal. doi:10.1145/3102113.3102125