Sciweavers

15860 search results - page 249 / 3172
» On agent-based software engineering
Sort
View
DAGSTUHL
2010
15 years 3 months ago
Modeling
Markus Geyer, Benjamin Hiller, Sascha Meinert
DAGSTUHL
2010
15 years 3 months ago
Libraries
Roman Dementiev, Johannes Singler
FOSSACS
2010
Springer
15 years 3 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson