Systems specification, analysis, and validation by means of timed predicate/transition nets and logic programming.

Fevzi Belli, Javier Dreyer

Browse the full ISSRE paper archive.