Revision history for entry Burgess, John P. (1980). "Decidability for branching time" [BURDFB]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-12-02T01:44:51updateSystem / admin update -
2013-01-12T20:50:50updateSystem / admin update -
2013-01-12T20:50:49updateSystem / admin update -