researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Formal Asp. Comput.
Home
Index
Info
Issue
Volume
29
, Issue
2
173
--
0
.
Amílcar Sernadas
175
--
225
Dines Bjørner
.
Manifest domains: analysis and description
227
--
249
Qin Li
,
Graeme Smith
.
Refining autonomous agents with declarative beliefs and desires
251
--
307
Anirban Bhattacharyya
,
Andrey Mokhov
,
Ken Pierce
.
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
309
--
334
Adrián Riesco
,
Kazuhiro Ogata
,
Kokichi Futatsugi
.
A Maude environment for CafeOBJ
335
--
364
Wen-ling Huang
,
Jan Peleska
.
Complete model-based equivalence class testing for nondeterministic systems
365
--
379
Kunal Banerjee
,
Dipankar Sarkar
,
Chittaranjan A. Mandal
.
Deriving bisimulation relations from path based equivalence checkers