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-01T20:44:51updateSystem / admin update -
2013-01-12T15:50:50updateSystem / admin update -
2013-01-12T15:50:49updateSystem / admin update -