External Links

    Journal: Data \& Knowledge Engineering

    Volume 50, Issue 2

    117 -- 173Nasreddine Aoumeur, Gunter Saake. Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal
    175 -- 194Martin F. van Bommel, Ping Wang. Encoding multiple inheritance hierarchies for lattice operations
    195 -- 213Carsten Pontow. A note on the axiomatics of theories in parthood
    215 -- 240Gaihua Fu, Jianhua Shao, Suzanne M. Embury, W. A. Gray. Algorithms for analysing related constraint business rules
    runs on