%0 Conference Paper %1 Alok-FACS2018 %A Dixit, P.M. %A Verbeek, H.M.W. %A Aalst, W.M.P. van der %B International Conference on Formal Aspects of Component Software (FACS 2018) %D 2018 %E K.Bae, %E Olveczky, C.B. %I Springer-Verlag, Berlin %K imported %P 97--117 %T Incremental Computation of Synthesis Rules for Free-Choice Petri Nets %V 11222

@inproceedings{Alok-FACS2018, added-at = {2020-01-07T14:01:33.000+0100}, author = {Dixit, P.M. and Verbeek, H.M.W. and Aalst, {W.M.P. van der}}, biburl = {https://www.bibsonomy.org/bibtex/25fac59c81eef67aa591c7d81987e156e/wvdaalst}, booktitle = {International Conference on Formal Aspects of Component Software (FACS 2018)}, editor = {K.Bae and Olveczky, C.B.}, interhash = {1d671103dde92482a0ce931728ab9772}, intrahash = {5fac59c81eef67aa591c7d81987e156e}, keywords = {imported}, pages = {97--117}, publisher = {Springer-Verlag, Berlin}, series = {Lecture Notes in Computer Science}, timestamp = {2020-01-07T14:02:12.000+0100}, title = {{Incremental Computation of Synthesis Rules for Free-Choice Petri Nets}}, volume = 11222, year = 2018 }