Lynette I. Millett, Tim Teitelbaum. Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation. STTT, 2(4):343-349, 2000. [doi]
@article{MillettT00,
title = {Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation},
author = {Lynette I. Millett and Tim Teitelbaum},
year = {2000},
url = {http://link.springer.de/link/service/journals/10009/bibs/0002004/00020343.htm},
tags = {model checking, meta-model, protocol, slicing, Meta-Environment},
researchr = {https://researchr.org/publication/MillettT00},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {2},
number = {4},
pages = {343-349},
}