descriptionSemantics in Maude for Activity Diagrams
ownerLaurent Georget
last changeFri, 29 May 2015 12:07:51 +0000 (14:07 +0200)
shortlog
2015-05-29 Laurent GeorgetInitial state of the activity diagrams semantics master origin/HEAD origin/master
heads
4 years ago master