%0 Journal Article %1 journals/fac/StankaitisIKAIR21 %A Stankaitis, Paulius %A Iliasov, Alexei %A Kobayashi, Tsutomu %A Ameur, Yamine Aït %A Ishikawa, Fuyuki %A Romanovsky, Alexander B. %D 2021 %J Formal Aspects Comput. %K dblp %N 6 %P 1009-1036 %T A refinement-based development of a distributed signalling system. %U http://dblp.uni-trier.de/db/journals/fac/fac33.html#StankaitisIKAIR21 %V 33

@article{journals/fac/StankaitisIKAIR21, added-at = {2024-02-05T00:00:00.000+0100}, author = {Stankaitis, Paulius and Iliasov, Alexei and Kobayashi, Tsutomu and Ameur, Yamine Aït and Ishikawa, Fuyuki and Romanovsky, Alexander B.}, biburl = {https://www.bibsonomy.org/bibtex/2ecb45aa538958233a1b562393a7a8152/dblp}, ee = {https://doi.org/10.1007/s00165-021-00567-y}, interhash = {74b18cb7e0d096dcf59aaa2942d6c90f}, intrahash = {ecb45aa538958233a1b562393a7a8152}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 6, pages = {1009-1036}, timestamp = {2024-04-09T05:37:23.000+0200}, title = {A refinement-based development of a distributed signalling system.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac33.html#StankaitisIKAIR21}, volume = 33, year = 2021 }