Differences

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

--- assignments:a1 [2015/04/03 19:25] – franck
+++ assignments:a1 [2015/04/03 19:29] (current) – franck
@@ Line 33: / Line 33: @@
   * Qiyi Tang:\\ Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, and Radu Mardare.  [[http://dx.doi.org.ezproxy.library.yorku.ca/10.1007/978-3-642-36742-7_1|On-the-Fly Exact Computation of Bisimilarity]]. In //Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems//, volume 7795 of //Lecture Notes in Computer Science//, pages 1–15, Rome, Italy, March 2013.  Springer-Verlag.
-  * Mingbin Xu:\\ Shavit, Nir, and Itay Lotan. [[http://dx.doi.org/10.1109/IPDPS.2000.845994|Skiplist-based concurrent priority queues]]. In //Parallel and Distributed Processing Symposium, 2000. IPDPS 2000. Proceedings. 14th International,// pages 263-268. IEEE, 2000.
+  * Mingbin Xu:\\ Nir Shavit and Itay Lotan. [[http://dx.doi.org.ezproxy.library.yorku.ca/10.1109/IPDPS.2000.845994|Skiplist-based concurrent priority queues]]. In //Proceedins of the 14th International Parallel and Distributed Processing Symposium//, pages 263-268, Cancun, Mexico, May 2000. IEEE.