On the Complexity of Some Verification Problems in Process Control Specifications

DOI10.1093/COMJNL/42.5.349MaRDI QIDQ4935297zbMATH OpenOpenAlexFDO

Authors M. E. Orlowska, Arthur H. M. ter Hofstede

Publication date 10 April 2000

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/42.5.349

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: On the Complexity of Some Verification Problems in Process Control Specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4935297)