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}, }