Sciweavers

8816 search results - page 174 / 1764
» Interactive Modeling of Plants
Sort
View
ATAL
2010
Springer
15 years 7 months ago
Symbolic model checking for agent interactions
Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rach...