Efficient Monitoring of omega-Languages

@inproceedings{dAmorim2005EfficientMO,
  title={Efficient Monitoring of omega-Languages},
  author={Marcelo d'Amorim and Grigore Rosu},
  booktitle={CAV},
  year={2005}
}
Highly Cited
This paper has 65 citations. REVIEW CITATIONS

Topic

Statistics

051015'05'06'07'08'09'10'11'12'13'14'15'16'17'18
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.