Behavioral customization of state machine models at ESO.

Josef Hofer, Martin Becker, Andreas Schfer

Browse the full SPLC paper archive.