Electronic Proceedings in Theoretical Computer Science

Results: 4



#Item
1Call for Papers STACS 2009 26th International Symposium on Theoretical Aspects of Computer Science February 26-28, 2009; Freiburg, Germany Program Committee Susanne Albers, U Freiburg (co-chair)

Call for Papers STACS 2009 26th International Symposium on Theoretical Aspects of Computer Science February 26-28, 2009; Freiburg, Germany Program Committee Susanne Albers, U Freiburg (co-chair)

Add to Reading List

Source URL: stacs2009.informatik.uni-freiburg.de

Language: English - Date: 2008-05-21 04:30:44
2References [1] L. Aceto, W.J. Fokkink, R.J. van Glabbeek & A. Ing´olfsd´ottir (1996): Axiomatizing Prefix Iteration with Silent Steps. Information and Computation 127(1), pp. 26–40, doi:incoAvail

References [1] L. Aceto, W.J. Fokkink, R.J. van Glabbeek & A. Ing´olfsd´ottir (1996): Axiomatizing Prefix Iteration with Silent Steps. Information and Computation 127(1), pp. 26–40, doi:incoAvail

Add to Reading List

Source URL: rvg.web.cse.unsw.edu.au

Language: English - Date: 2015-05-13 04:41:10
3Electronic Communications of the EASST Volume[removed]Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011)

Electronic Communications of the EASST Volume[removed]Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011)

Add to Reading List

Source URL: www.brucker.ch

Language: English - Date: 2011-12-04 09:41:24
4CALL FOR PAPERS 26th ACM Symposium on PARALLELISM IN ALGORITHMS AND ARCHITECTURES (SPAA) Prague, Czech Republic June 23–25, 2014 http://www.spaa-conference.org

CALL FOR PAPERS 26th ACM Symposium on PARALLELISM IN ALGORITHMS AND ARCHITECTURES (SPAA) Prague, Czech Republic June 23–25, 2014 http://www.spaa-conference.org

Add to Reading List

Source URL: www.cs.jhu.edu

Language: English - Date: 2013-10-08 04:21:35