Feature integration using a feature construct
- 1 September 2001
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 41 (1), 53-84
- https://doi.org/10.1016/s0167-6423(00)00018-6
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994
- A superimposition control construct for distributed systemsACM Transactions on Programming Languages and Systems, 1993