Modular and Incremental Analysis of Concurrent Software Systems

Hassen Saïdi. Modular and Incremental Analysis of Concurrent Software Systems. In ASE. pages 92-101, 1999. [doi]

@inproceedings{Saidi99,
  title = {Modular and Incremental Analysis of Concurrent Software Systems},
  author = {Hassen Saïdi},
  year = {1999},
  url = {http://computer.org/proceedings/ase/0415/04150092abs.htm},
  tags = {analysis, incremental},
  researchr = {https://researchr.org/publication/Saidi99},
  cites = {0},
  citedby = {0},
  pages = {92-101},
  booktitle = {ASE},
}