Vol-2637⫷ Vol-2638 ⫸Vol-2639
urn:nbn:de:0074-2638-0


Vol-2638/paper5⫷Vol-2638/paper6⫸Vol-2638/paper7

The construction of controllable sublanguage of specification for DES via PCFs based inference