• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 13 matches

• 2015
• 
  Shaoying Liu, Zhenhua Duan:
  Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8979, Springer 2015, ISBN 978-3-319-17403-7 [contents]
• 2014
• 
  Longhui Chang, Huaikou Miao, Gongzheng Lu:
  An Implementation Framework for Optimizing Test Case Generation Using Model Checking. SOFL+MSVL 2014: 3-16
• 
  Yuting Chen, Qiuwei Shi, Weikai Miao:
  Incremental Points-to Analysis for Java via Edit Propagation. SOFL+MSVL 2014: 164-178
• 
  Mo Li, Shaoying Liu:
  Adopting Variable Dependency in Animation for Presenting the Behaviour of Process. SOFL+MSVL 2014: 81-93
• 
  Shin Nakajima:
  Using Alloy in Introductory Courses of Formal Methods. SOFL+MSVL 2014: 97-110
• 
  Yunqing Wen, Guoqiang Li, Shoji Yuen:
  An Over-Approximation Forward Analysis for Nested Timed Automata. SOFL+MSVL 2014: 62-80
• 
  Xiaofei Xie, Xiaohong Li, Yang Liu, Li Li, Ruitao Feng, Zhiyong Feng:
  Automatic Verification for Later-Correspondence of Security Protocols. SOFL+MSVL 2014: 111-126
• 
  Xiaoxiao Yang:
  Combining Separation Logic and Projection Temporal Logic to Reason About Non-blocking Concurrency. SOFL+MSVL 2014: 127-144
• 
  Kai Yang, Zhenhua Duan, Cong Tian:
  A Memory Management Mechanism for MSVL. SOFL+MSVL 2014: 179-188
• 
  Zhen You, Jinyun Xue, Qimin Hu, Yi Hong:
  Formal Semantics of Orc Based on TLA⁺. SOFL+MSVL 2014: 147-163
• 
  Bin Yu, Zhenhua Duan, Cong Tian:
  Unified Bounded Model Checking for MSVL. SOFL+MSVL 2014: 49-61
• 
  Jinghua Zhang, Shaoying Liu:
  Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications. SOFL+MSVL 2014: 32-46
• 
  Yuqin Zhou, Taku Sugihara, Yuji Sato:
  Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification. SOFL+MSVL 2014: 17-31