Skip to main content


Publications

Compiler and verification technology for BPM

Journals and international conferences

Workshops

Research reports