Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Q1014561): Difference between revisions

@@ Property / cites work @@
+An Extended Temporal Logic for CSCW
@@ Property / cites work: An Extended Temporal Logic for CSCW / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426380
@@ Property / cites work: Q4426380 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking large structured Markov chains.
@@ Property / cites work: Model-checking large structured Markov chains. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472227
@@ Property / cites work: Q4472227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4806205
@@ Property / cites work: Q4806205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking
+Normal rank
@@ Property / cites work @@
+Q4864760
@@ Property / cites work: Q4864760 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking continuous-time Markov chains
@@ Property / cites work: Model-checking continuous-time Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+On the verification of qualitative properties of probabilistic processes under fairness constraints.
+Normal rank
@@ Property / cites work @@
+Q4547764
@@ Property / cites work: Q4547764 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411090
@@ Property / cites work: Q4411090 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparative branching-time semantics for Markov chains
+Normal rank
@@ Property / cites work @@
+A survey of retrial queues
@@ Property / cites work: A survey of retrial queues / rank @@
+Normal rank
@@ Property / cites work @@
+Retrial Queues
@@ Property / cites work: Retrial Queues / rank @@
+Normal rank
@@ Property / cites work @@
+Q3923308
@@ Property / cites work: Q3923308 / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Orchestration of Web Services
@@ Property / cites work: A Calculus for Orchestration of Web Services / rank @@
+Normal rank
@@ Property / cites work @@
+MarCaSPiS: a Markovian Extension of a Calculus for Services
+Normal rank
@@ Property / cites work @@
+Model checking mobile stochastic logic
@@ Property / cites work: Model checking mobile stochastic logic / rank @@
+Normal rank