Sciweavers

15860 search results - page 159 / 3172
» Agent-Based Software Engineering
Sort
View
RE
2001
Springer
15 years 7 months ago
Will It Work?
Jonathan Hammond, Rosamund Rawlings, Anthony Hall
89
Voted
TACS
2001
Springer
15 years 7 months ago
Solo Diagrams
Cosimo Laneve, Joachim Parrow, Björn Victor
111
Voted
TACS
2001
Springer
15 years 7 months ago
Model-Checking LTL with Regular Valuations for Pushdown Systems
Javier Esparza, Antonín Kucera, Stefan Schw...
106
Voted
TACS
2001
Springer
15 years 7 months ago
Resource-Passing Concurrent Programming
Kazunori Ueda