Combined model checking for temporal, probabilistic, and real-time logics (Q407511): Difference between revisions

@@ Property / author @@
+H. S. Yoon
@@ Property / author: H. S. Yoon / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B62
@@ Property / Mathematics Subject Classification ID: 03B62 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T42
@@ Property / Mathematics Subject Classification ID: 68T42 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6338730
@@ Property / zbMATH DE Number: 6338730 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal verification
@@ Property / zbMATH Keywords: formal verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking
@@ Property / zbMATH Keywords: model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+combination of logics
@@ Property / zbMATH Keywords: combination of logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+complexity
@@ Property / zbMATH Keywords: complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+multi-agent systems
@@ Property / zbMATH Keywords: multi-agent systems / rank @@
+Normal rank

Revision as of 17:49, 29 June 2023