Revision history for entry Nowack, Antje: A guarded fragment for abstract state machines [NOWAGF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-10-21T08:35:51updateSystem / admin update
2019-12-31T16:54:18updateSystem / admin update
2019-02-06T22:25:12updateSystem / admin update
2015-02-03T01:11:08updateSystem / admin update
2014-03-20T19:36:39updateSystem / admin update
2014-01-23T05:43:51updateSystem / admin update
2013-11-22T10:32:38updateSystem / admin update
2013-11-22T10:32:38updateSystem / admin update
2013-11-22T10:32:38updateSystem / admin update
2013-11-22T10:32:38updateSystem / admin update
2013-11-22T10:32:38updateSystem / admin update
2013-11-01T16:46:00updateSystem / admin update
2013-10-31T03:54:57updateSystem / admin update
2012-01-12T06:06:33update
2012-01-12T06:06:33update
2012-01-12T06:04:21update
2012-01-12T06:04:20update
2012-01-12T06:02:32update