X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/be86a872232e7b76d1eefb503ab8a9dbb0555d9e..573bd43bf84ddbd09ffc252df00363a2a6640fca:/mmath.m4 diff --git a/mmath.m4 b/mmath.m4 index 905f2e5..83e0dde 100644 --- a/mmath.m4 +++ b/mmath.m4 @@ -30,7 +30,8 @@ __latex sources: tar.gz | zip

-

Abstract

+
+Abstract

Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system functionality abstractly and @@ -69,9 +70,10 @@ may be most suited for modelling their system, we present recommendations based on our observations about the differentiating characteristics of each of these languages.

+
-

License

- +
+License
 This thesis is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
@@ -86,6 +88,7 @@ GNU General Public License for more details.
 You should have received a copy of the GNU General Public License
 along with this thesis.  If not, see <https://www.gnu.org/licenses/>.
 
+

A copy of the GNU General Public License is available from gpl-3.0.html, as well as in