共 20 条
[1]
Trio2Promela: a model checker for temporal metric specifications
[J].
29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: ICSE 2007 COMPANION VOLUME, PROCEEDINGS,
2007,
:61-+
[2]
Bowker G., 1997, SOCIAL SCI RES TECHN
[3]
CORREA P, 2005, SPECIAL REPORT INTER
[4]
Desai N., 2007, P INT C AUT AG MULT, P144
[5]
DUPONT C, 2008, KNOL IS OPEN EVERYON
[6]
FENSEL D, 2007, IEEE INTERNET CO MAR, P93
[7]
DAI BETWIXT AND BETWEEN - FROM INTELLIGENT AGENTS TO OPEN SYSTEMS SCIENCE
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS,
1991, 21 (06)
:1409-1419
[8]
HEWITT C, 2008, COMMON SENSE CONCURR
[9]
HEWITT C, 2008, NORMS COMMITMENT ORG
[10]
HEWITT C, 2007, ORG I NORMS MULTIAGE, V2, P293