output publications or other works 21ST INTERNATIONAL CONFERENCE ELECTRONICS 2017 (Congress Organization) Event Algebraic specification of ABP protocol using different time constraints Conference Paper
