A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs (bibtex)
@inproceedings{Corrodi-HP16a, author = {Claudio Corrodi and Alexander Heu├čner and Christopher M. Poskitt}, title = {A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs}, booktitle = {Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016)}, publisher = {Springer}, volume = {9633}, series = {LNCS}, pages = {31-48}, year = {2016}, urltopdf = {http://se.inf.ethz.ch/people/poskitt/publications/Corrodi-HP.FASE.2016.pdf}, }
Powered by bibtexbrowser
You are browsing sechair-bib.bib with bibtexbrowser