Verlind, EricEricVerlindKolks, TilmanTilmanKolksDe Jong, GjaltGjaltDe JongLin, BillBillLinDe Man, HugoHugoDe Man2021-09-292021-09-291994https://imec-publications.be/handle/20.500.12860/442A time abstraction method for efficient verification of communicating systemsProceedings paper