Model Checking for Concurrent Software Architectures

@inproceedings{Giannakopoulou1999ModelCF,
  title={Model Checking for Concurrent Software Architectures},
  author={Dimitra Giannakopoulou},
  year={1999}
}
ED 
Highly Cited
This paper has 134 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 46 extracted citations

135 Citations

01020'99'03'08'13'18
Citations per Year
Semantic Scholar estimates that this publication has 135 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.