Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper. Partial-order Reduction Techniques for Real-time Model Checking. Formal Asp. Comput., 10(5-6):469-482, 1998. [doi]
@article{DamsGKK98,
title = {Partial-order Reduction Techniques for Real-time Model Checking},
author = {Dennis Dams and Rob Gerth and Bart Knaack and Ruurd Kuiper},
year = {1998},
url = {http://link.springer.de/link/service/journals/00165/bibs/8010005/80100469.htm},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/DamsGKK98},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {10},
number = {5-6},
pages = {469-482},
}