%0 Journal Article %1 journals/concurrency/PechtchanskiS05 %A Pechtchanski, Igor %A Sarkar, Vivek %D 2005 %J Concurrency - Practice and Experience %K dblp %N 5-6 %P 639-662 %T Immutability specification and its applications. %U http://dblp.uni-trier.de/db/journals/concurrency/concurrency17.html#PechtchanskiS05 %V 17

@article{journals/concurrency/PechtchanskiS05, added-at = {2018-11-14T00:00:00.000+0100}, author = {Pechtchanski, Igor and Sarkar, Vivek}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/298c80d5eee7877e2cd874ffa8d1512a0/dblp}, ee = {https://www.wikidata.org/entity/Q56048083}, interhash = {cd8449321c491ac51370bbbbdd2836ad}, intrahash = {98c80d5eee7877e2cd874ffa8d1512a0}, journal = {Concurrency - Practice and Experience}, keywords = {dblp}, number = {5-6}, pages = {639-662}, timestamp = {2019-09-27T06:28:55.000+0200}, title = {Immutability specification and its applications.}, url = {http://dblp.uni-trier.de/db/journals/concurrency/concurrency17.html#PechtchanskiS05}, volume = 17, year = 2005 }