Vol-544⫷ Vol-545 ⫸Vol-546
urn:nbn:de:0074-545-0


Vol-545/paper-5⫷Vol-545/paper-6⫸Vol-545/paper-7

Proposal of a Graph-Oriented Approach to Verification of XTT2 Rule Bases