Search result (Summary search): 193064

Publications (145360) - Choose precise search

  1. E-pub ahead of print

    Formal modelling and verification of interlocking systems featuring sequential release. / Vu, Linh Hong; Haxthausen, Anne Elisabeth; Peleska, Jan.

    In: Science of Computer Programming, 2016.

    Publication: Research - peer-reviewJournal article – Annual report year: 2016

Projects (11904) - Choose precise search

Activities (11863) - Choose precise search

  1. CyrptoForma Workshop

    Omar Almousa (Speaker), 13 Jul 2100

    Activity: Participation in conference/workshop/course/seminarParticipation in workshop, seminar, course

Researchers (23258) - Choose precise search

Research units (679) - Choose precise search

  1. Technical University of Denmark

    Organisational unit: Institution