Found 7 Documents (Results 1–7)
Traveling wave solutions for a non-monotone logistic equation in a cylinder. (English) Zbl 1423.35062
Symbolic model checking the knowledge in Herbivore protocol. (English) Zbl 1327.68037
van der Meyden, Ron (ed.) et al., Model checking and artificial intelligence. 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-20673-3/pbk). Lecture Notes in Computer Science 6572. Lecture Notes in Artificial Intelligence, 112-129 (2011).
Nonoscillation for a kind of second order linear difference equation with delay in impulses. (English) Zbl 1150.39009
Bounded model checking for temporal epistemic logic in synchronous multi-agent systems. (Chinese. English summary) Zbl 1116.68051
Filter Results by …
Document Type
- Journal Articles (6)
- Collection Articles (1)
all
top 5
Author
- Yang, Jinji (7)
- Tian, Yanling (4)
- Luo, Xiangyu (2)
- Su, Kaile (2)
- Weng, Peixuan (2)
- Gu, Ming (1)
- Tian, Yanlin (1)
- Wu, Lijun (1)