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.
Time | Type | Notes |
2022-10-21T08:35:51 | update | System / admin update |
2019-12-31T16:54:18 | update | System / admin update |
2019-02-06T22:25:12 | update | System / admin update |
2015-02-03T01:11:08 | update | System / admin update |
2014-03-20T19:36:39 | update | System / admin update |
2014-01-23T05:43:51 | update | System / admin update |
2013-11-22T10:32:38 | update | System / admin update |
2013-11-22T10:32:38 | update | System / admin update |
2013-11-22T10:32:38 | update | System / admin update |
2013-11-22T10:32:38 | update | System / admin update |
2013-11-22T10:32:38 | update | System / admin update |
2013-11-01T16:46:00 | update | System / admin update |
2013-10-31T03:54:57 | update | System / admin update |
2012-01-12T06:06:33 | update | |
2012-01-12T06:06:33 | update | |
2012-01-12T06:04:21 | update | |
2012-01-12T06:04:20 | update | |
2012-01-12T06:02:32 | update | |
loading ..