Search dblp for Publications

export results for "toc:db/conf/ictac/ictac2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ictac/AmanC13,
  author       = {Bogdan Aman and
                  Gabriel Ciobanu},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Mobile Membranes: Computability and Complexity},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {59--75},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_4},
  doi          = {10.1007/978-3-642-39718-9\_4},
  timestamp    = {Fri, 17 Feb 2023 09:02:01 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/AmanC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/BanachB13,
  author       = {Richard Banach and
                  Michael J. Butler},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Cruise Control in Hybrid Event-B},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {76--93},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_5},
  doi          = {10.1007/978-3-642-39718-9\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/BanachB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/BrescianiB13,
  author       = {Riccardo Bresciani and
                  Andrew Butterfield},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {From Distributions to Probabilistic Reactive Programs},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {94--111},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_6},
  doi          = {10.1007/978-3-642-39718-9\_6},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/BrescianiB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/BruckerBW13,
  author       = {Achim D. Brucker and
                  Lukas Br{\"{u}}gger and
                  Burkhart Wolff},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance
                  Testing},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {112--121},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_7},
  doi          = {10.1007/978-3-642-39718-9\_7},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/BruckerBW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/CardelliM13,
  author       = {Luca Cardelli and
                  Radu Mardare},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Stochastic Pi-calculus Revisited},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {1--21},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_1},
  doi          = {10.1007/978-3-642-39718-9\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/CardelliM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/ChengCZ13,
  author       = {Wen{-}Ju Cheng and
                  Jim Cox and
                  Stathis Zachos},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Random Walks on Some Basic Classes of Digraphs},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {122--140},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_8},
  doi          = {10.1007/978-3-642-39718-9\_8},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/ChengCZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/CiobanuR13,
  author       = {Gabriel Ciobanu and
                  Armand Stefan Rotaru},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {A Probabilistic Logic for pTiMo},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {141--158},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_9},
  doi          = {10.1007/978-3-642-39718-9\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/CiobanuR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/DongZZ13,
  author       = {Ruzhen Dong and
                  Naijun Zhan and
                  Liang Zhao},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {An Interface Model of Software Components},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {159--176},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_10},
  doi          = {10.1007/978-3-642-39718-9\_10},
  timestamp    = {Wed, 08 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/DongZZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/DongolTDW13,
  author       = {Brijesh Dongol and
                  Oleg Travkin and
                  John Derrick and
                  Heike Wehrheim},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {A High-Level Semantics for Program Execution under Total Store Order
                  Memory},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {177--194},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_11},
  doi          = {10.1007/978-3-642-39718-9\_11},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/DongolTDW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/GrechR013,
  author       = {Neville Grech and
                  Julian Rathke and
                  Bernd Fischer},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Preemptive Type Checking in Dynamically Typed Languages},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {195--212},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_12},
  doi          = {10.1007/978-3-642-39718-9\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/GrechR013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/He13,
  author       = {Jifeng He},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {A Clock-Based Framework for Construction of Hybrid Systems},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {22--41},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_2},
  doi          = {10.1007/978-3-642-39718-9\_2},
  timestamp    = {Mon, 21 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/He13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/KretinskyS13,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Salomon Sickert},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {On Refinements of Boolean and Parametric Modal Transition Systems},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {213--230},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_13},
  doi          = {10.1007/978-3-642-39718-9\_13},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/KretinskyS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Kwiatkowska13,
  author       = {Marta Z. Kwiatkowska},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Advances in Quantitative Verification for Ubiquitous Computing},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {42--58},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_3},
  doi          = {10.1007/978-3-642-39718-9\_3},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Kwiatkowska13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/LinkerH13,
  author       = {Sven Linker and
                  Martin Hilscher},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Proof Theory of a Multi-Lane Spatial Logic},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {231--248},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_14},
  doi          = {10.1007/978-3-642-39718-9\_14},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/LinkerH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/LiuWFWDM13,
  author       = {Wanwei Liu and
                  Rui Wang and
                  Xianjin Fu and
                  Ji Wang and
                  Wei Dong and
                  Xiaoguang Mao},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Counterexample-Preserving Reduction for Symbolic Model Checking},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {249--266},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_15},
  doi          = {10.1007/978-3-642-39718-9\_15},
  timestamp    = {Wed, 05 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/LiuWFWDM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/LuoD13,
  author       = {Ling Luo and
                  Zhenhua Duan},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {A Transformation from p-{\(\pi\)} to {MSVL}},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {267--281},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_16},
  doi          = {10.1007/978-3-642-39718-9\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/LuoD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Nestra13,
  author       = {H{\"{a}}rmel Nestra},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {On Slicing of Programs with Input Statements},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {282--300},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_17},
  doi          = {10.1007/978-3-642-39718-9\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Nestra13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/PandyaS13,
  author       = {Paritosh K. Pandya and
                  Simoni S. Shah},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Deterministic Logics for {UL}},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {301--318},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_18},
  doi          = {10.1007/978-3-642-39718-9\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/PandyaS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/SekerinskiZ13,
  author       = {Emil Sekerinski and
                  Tian Zhang},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Finitary Fairness in Action Systems},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {319--336},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_19},
  doi          = {10.1007/978-3-642-39718-9\_19},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/SekerinskiZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/ShaoL13,
  author       = {Zhucheng Shao and
                  Jing Liu},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Spatio-temporal Hybrid Automata for Cyber-Physical Systems},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {337--354},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_20},
  doi          = {10.1007/978-3-642-39718-9\_20},
  timestamp    = {Mon, 28 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/ShaoL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/WangYZ13,
  author       = {Yisong Wang and
                  Jia{-}Huai You and
                  Mingyi Zhang},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Embedding Functions into Disjunctive Logic Programs},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {355--372},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_21},
  doi          = {10.1007/978-3-642-39718-9\_21},
  timestamp    = {Mon, 03 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/WangYZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Wei13,
  author       = {Kun Wei},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Reactive Designs of Interrupts in Circus Time},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {373--390},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_22},
  doi          = {10.1007/978-3-642-39718-9\_22},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Wei13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/YaoZC13,
  author       = {Xinghua Yao and
                  Min Zhang and
                  Yixiang Chen},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {A Proof System in {PADS}},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {391--408},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_23},
  doi          = {10.1007/978-3-642-39718-9\_23},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/YaoZC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/ZhaoL13,
  author       = {Jianhua Zhao and
                  Xuandong Li},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Scope Logic: An Extension to Hoare Logic for Pointers and Recursive
                  Data Structures},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {409--426},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_24},
  doi          = {10.1007/978-3-642-39718-9\_24},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/ZhaoL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/ZiegertH13,
  author       = {Steffen Ziegert and
                  Christian Heinzemann},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {427--444},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_25},
  doi          = {10.1007/978-3-642-39718-9\_25},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/ZiegertH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ictac/2013,
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9},
  doi          = {10.1007/978-3-642-39718-9},
  isbn         = {978-3-642-39717-2},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.