Skip to main content
Leiden University
Scholarly Publications
Home
Submit
About
Select Collection
All collections
Academic speeches
Dissertations
Faculty of Archaeology
Faculty of Governance and Global Affairs
Faculty of Humanities
Faculty of Science
Faculty of Social and Behavioural Sciences
Leiden Journals, Conference Proceedings and Books
Leiden Law School
Leiden University Press
Medicine / Leiden University Medical Centre (LUMC)
Research output UL
Search box
Your Search
Enabled Filters
(-)
= ACTA INFORMATICA
Sort Options
Date (year)
Author / Creator
Title
Refine Results
Resource Type
Article / Letter to editor
(4)
+
-
Availability
Open access
(3)
+
-
Closed access
(1)
+
-
Creation Date
2017
(3)
+
-
Faculty
Faculty of Science
(4)
+
-
Collection
Leiden Institute of Advanced Computer Science (LIACS)
(4)
+
-
Author
Boer, F.S. de
(3)
+
-
Chothia, T.
(3)
+
-
Jaghoori, M.M.
(3)
+
-
Longuet, D.
(3)
+
-
Sirjani, M.
(3)
+
-
Search results
(1 - 4 of 4)
show grid
show list
save search
Jaghoori, M.M.; Boer, F.S. de; Longuet, D.; Chothia, T.; Sirjani, M.
2017
Compositional schedulability analysis of real-time actor-based systems
Article / Letter to editor
open access
Jaghoori, M.M.; Boer, F.S. de; Longuet, D.; Chothia, T.; Sirjani, M.
2017
Compositional schedulability analysis of real-time actor-based systems
Article / Letter to editor
open access
Jaghoori, M.M.; Boer, F.S. de; Longuet, D.; Chothia, T.; Sirjani, M.
2017
Compositional schedulability analysis of real-time actor-based systems
Article / Letter to editor
open access
Janicki, R.; Kleijn, J.; Koutny, M.; Mikulski, Ł.
2016
Step Traces
Article / Letter to editor
closed access
