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 / describes a project that uses @@
+Octave
@@ Property / describes a project that uses: Octave / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PHAVer
@@ Property / describes a project that uses: PHAVer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2018.07.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2868572834
@@ Property / OpenAlex ID: W2868572834 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1785868