Automatic Extraction of Petri Nets from RFC Protocol Texts.

Ronghao Liang, Qingtian Zeng, Wenyan Guo, Hua Duan, Weijian Ni

Browse the full CSCWD paper archive.