Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Advisor
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Adelaide Research & Scholarship
Adelaide Research & Scholarship
Search
Search:
All collections
Schools and Disciplines
School of Computer Science
Computer Science publications
for
Current filters:
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-5 of 5 (Search time: 0.002 seconds).
previous
1
next
Item hits:
Preview
Issue Date
Title
Author(s)
2005
Distributed and modular state space exploration for timed petri nets
Lakos, C.
;
Petrucci, L.
;
Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (6th : 2005 : Aarhus, Denmark)
2005
State space exploration of object-based systems using equivalence reduction and the sweepline method
Lakos, C.
;
Kristensen, L.
;
Peled, D.
;
Tsay, Y.
;
Automated Technology for Verification and Analysis. International Syumposium (3rd : 2005 : Taipei, Taiwan)
2005
A Petri Net view of mobility
Lakos, C.
;
Wang, F.
;
IFIP WG 6.1 International Conference: 'Formal Techniques for Networked and Distributed Systems - FORTE 2005' (25th : 2 October 2005 : Taipei, Taiwan)
2005
A proposal for relative time petri nets
Kuehn, J.
;
Lakos, C.
;
Esser, R.
;
Aichernig, B.
;
Beckert, B.
;
IEEE International Conference on Software Engineering and Formal Methods (3rd : 2005 : Koblenz, Germany)
2005
Inconsistency management and view updates
Menon, C.
;
Johnson, M.
;
Lakos, C.
;
Mislove, M.
;
Kuster Filipe, J.
;
Poernomo, I.
;
Reussner, R.
;
Shukla, S.
;
International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (2nd : 2005 : Edinburgh, Scotland)
Discover
Author
1
Aichernig, B.
1
Automated Technology for Verifica...
1
Beckert, B.
1
Esser, R.
1
IEEE International Conference on ...
1
IFIP WG 6.1 International Confere...
1
International Workshop on Formal ...
1
Johnson, M.
1
Kristensen, L.
1
Kuehn, J.
.
next >
Subject
1
analysis
1
category theory
1
inconsistency management
1
Rosetta
1
specification
1
traces