Home Research Publications

Program Synthesis With CSLxt for the Case Study 'Production Cell'

Year:
1996

Authors/Eds.:
H. Melcher

Type of publication:
seminar/workshop

Source:
presentation at the workshop 'Langages synchrones', Dagstuhl, 1996

publication index