A hybrid automata model of social networking addiction (Q1785868): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2018.07.002
@@ Property / DOI: 10.1016/j.jlamp.2018.07.002 / rank @@
-Normal rank
@@ Property / cites work @@
+Emergence of Scaling in Random Networks
@@ Property / cites work: Emergence of Scaling in Random Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Directed scale-free graphs
@@ Property / cites work: Directed scale-free graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3286850
@@ Property / cites work: Q3286850 / rank @@
+Normal rank
@@ Property / cites work @@
+Measurability and safety verification for stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+A hybrid automata model of social networking addiction
+Normal rank
@@ Property / cites work @@
+Q2766628
@@ Property / cites work: Q2766628 / rank @@
+Normal rank
@@ Property / cites work @@
+Safety verification for probabilistic hybrid systems
+Normal rank
@@ Property / Wikidata QID @@
+Q129540811
@@ Property / Wikidata QID: Q129540811 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2018.07.002
@@ Property / DOI: 10.1016/J.JLAMP.2018.07.002 / rank @@
+Normal rank