Skip to main content
English
Català
Čeština
Deutsch
Español
Français
Gàidhlig
Italiano
Latviešu
Magyar
Nederlands
Polski
Português
Português do Brasil
Srpski (lat)
Suomi
Svenska
Türkçe
Tiếng Việt
Қазақ
বাংলা
हिंदी
Ελληνικά
Српски
Yкраї́нська
Log In
Log in with University username and password
Communities & Collections
All of AR&S
English
Català
Čeština
Deutsch
Español
Français
Gàidhlig
Italiano
Latviešu
Magyar
Nederlands
Polski
Português
Português do Brasil
Srpski (lat)
Suomi
Svenska
Türkçe
Tiếng Việt
Қазақ
বাংলা
हिंदी
Ελληνικά
Српски
Yкраї́нська
Log In
Log in with University username and password
Home
Schools and Disciplines
School of Computer Science
Formal Modelling and Verification
Formal Modelling publications
Browse by Date
Formal Modelling publications
Permanent URI for this collection
https://hdl.handle.net/2440/14999
Browse
Recent Submissions
By Issue Date
By Author
By Title
By Advisor
Recent Submissions
By Issue Date
By Author
By Title
By Advisor
Browsing Formal Modelling publications by Issue Date
Filter results by year or month
(Choose year)
2011
(Choose month)
January
February
March
April
May
June
July
August
September
October
November
December
Browse
Now showing
1 - 1 of 1
Results Per Page
1
5
10
20
40
60
80
100
Sort Options
Ascending
Descending
No Thumbnail Available
Item
Restricted
Introduction
(
Wallflower Press
,
2011
)
McCann, B.
;
Sorfa, D.
;
McCann, B.
;
Sorfa, D.
Show more