Stepwise CTL Model Checking of State/Event Systems

@inproceedings{LindNielsen1999StepwiseCM,
  title={Stepwise CTL Model Checking of State/Event Systems},
  author={J\orn Lind-Nielsen and Henrik Reif Andersen},
  booktitle={CAV},
  year={1999}
}

Topics

Statistics

051015'99'01'03'05'07'09'11'13'15'17
Citations per Year

66 Citations

Semantic Scholar estimates that this publication has 66 citations based on the available data.

See our FAQ for additional information.