385 search results - page 11 / 77 » Semi-automatic Distributed Synthesis |
70
Voted
SOFSEM
2009
Springer
15 years 11 months ago
2009
Springer
58
Voted
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
127
Voted
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
105
Voted
FPL
2007
Springer
15 years 8 months ago
2007
Springer
108
Voted
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. In this paper, reverse partially-marked safe net condition/event systems (RsNCES) are introduced, rules of their functioning are defined and convenient interpretation met...