Found 5 Documents (Results 1–5)
LTL model checking of self modifying code. (English) Zbl 07683087
MSC:
68-XX
Filter Results by …
all
top 5
Author
- Ye, Xin (5)
- Touili, Tayssir (2)
- Benedek, Márton (1)
- Biró, Peter (1)
- Gong, Xue (1)
- Johnson, Matthew (1)
- Liu, Tianjian (1)
- Paulusma, Daniël (1)
- Sun, Huayan (1)
- Wang, Chao (1)
- Wang, Shuai (1)
- Xing, Qiang (1)
- Zhang, Weiguo (1)