6 papers:
DAC-2015-AsadJ #programming #using #verification- Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming (HuA, KDJ), p. 6.
CSCW-2014-ZhangCG #evolution #network #social- Creepy but inevitable?: the evolution of social networking (HZ, MDC, JG), pp. 368–378.
Onward-2013-Aldrich #power of #why- The power of interoperability: why objects are inevitable (JA), pp. 101–116.
ICSM-2007-VasaSN- The Inevitable Stability of Software Change (RV, JGS, ON), pp. 4–13.
CIAA-2003-WangHY #analysis- TCTL Inevitability Analysis of Dense-Time Systems (FW, GDH, FY), pp. 176–187.
NACLP-1989-Elcock #logic programming #named- Absys: The Historical Inevitability of Logic Programming (EWE), pp. 1201–1214.
