Vercauteren, StevenStevenVercauterenVerkest, DiederikDiederikVerkestDe Jong, GjaltGjaltDe JongLin, BillBillLin2021-10-012021-10-011998https://imec-publications.be/handle/20.500.12860/3111Efficient verification using generalized partial order analysisProceedings paper