20655 search results - page 143 / 4131 » Exploring Software Systems |
157
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
137
Voted
HIPEAC
2007
Springer
15 years 11 months ago
2007
Springer
108
Voted
CC
2001
Springer
15 years 9 months ago
2001
Springer