Cited By
View all- Duan ZTian CZhang N(2014)Normal Form Expressions of Propositional Projection Temporal LogicComputing and Combinatorics10.1007/978-3-319-08783-2_8(84-93)Online publication date: 2014
- Schewe STian C(2011)Synthesising Classic and Interval Temporal LogicProceedings of the 2011 Eighteenth International Symposium on Temporal Representation and Reasoning10.1109/TIME.2011.19(64-71)Online publication date: 12-Sep-2011
- Saxena PAkhawe DHanna SMao FMcCamant SSong D(2010)A Symbolic Execution Framework for JavaScriptProceedings of the 2010 IEEE Symposium on Security and Privacy10.1109/SP.2010.38(513-528)Online publication date: 16-May-2010
- Show More Cited By