Arthur H. M. ter Hofstede, Maria E. Orlowska. On the Complexity of Some Verification Problems in Process Control Specifications. Comput. J., 42(5):349-359, 1999.
@article{HofstedeO99,
title = {On the Complexity of Some Verification Problems in Process Control Specifications},
author = {Arthur H. M. ter Hofstede and Maria E. Orlowska},
year = {1999},
tags = {e-science},
researchr = {https://researchr.org/publication/HofstedeO99},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {42},
number = {5},
pages = {349-359},
}