Publications

Search
Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is state machine specification  [Clear All Filters]
2000
Chandra R, Lefever RM, Cukier M, Sanders WH.  2000.  Loki: a state-driven fault injector for distributed systems. :237-242.