Differences

This shows you the differences between two versions of the page.

wg1_2013_bibliography [2013/07/25 12:45]
ivan
wg1_2013_bibliography [2013/07/25 12:46] (current)
ivan
Line 19: Line 19:
 [1,2]  [1,2] 
  
-@inproceedings{huttel2011, 
-  author    = {Hans H{\"u}ttel}, 
-  title     = {Typed psi-calculi}, 
-  booktitle = {CONCUR}, 
-  year      = {2011}, 
-  pages     = {265-279}, 
-  editor    = {Joost-Pieter Katoen and 
-               Barbara K{\"o}nig}, 
-  publisher = springer, 
-  series    = lncs, 
-  volume    = {6901}, 
-} 
  
-[8] 
  
 @incollection{huttel2013, @incollection{huttel2013,
Line 1160: Line 1147:
   pages={25-45}   pages={25-45}
 } }
 +
 +@inproceedings{huttel2011,
 +  author    = {Hans H{\"u}ttel},
 +  title     = {Typed psi-calculi},
 +  booktitle = {CONCUR},
 +  year      = {2011},
 +  pages     = {265-279},
 +  editor    = {Joost-Pieter Katoen and
 +               Barbara K{\"o}nig},
 +  publisher = springer,
 +  series    = lncs,
 +  volume    = {6901},
 +}
 +
 +[8]
  
 @incollection{huttel2013, @incollection{huttel2013,
 
wg1_2013_bibliography.txt · Last modified: 2013/07/25 12:46 by ivan
 
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki