Browsing by Author Lin, Shang-Wei

Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 5 to 6 of 6 < previous 
Issue DateTitleAuthor(s)
 2018The language preservation problem is undecidable for parametric event-recording automataAndré, Étienne; Lin, Shang-Wei
 2022A survey of smart contract formal specification and verificationTolmach, Palina; Li, Yi; Lin, Shang-Wei; Liu, Yang; Li, Zengxiang