%0 Journal Article %1 journals/fttcs/Kupferman22 %A Kupferman, Orna %D 2022 %J Found. Trends Theor. Comput. Sci. %K dblp %N 2 %P 126-228 %T Multi-Valued Reasoning about Reactive Systems. %U http://dblp.uni-trier.de/db/journals/fttcs/fttcs15.html#Kupferman22 %V 15

@article{journals/fttcs/Kupferman22, added-at = {2022-12-27T00:00:00.000+0100}, author = {Kupferman, Orna}, biburl = {https://www.bibsonomy.org/bibtex/2f4fcb885724bc58f2e0e0d1f7bdf735f/dblp}, ee = {https://doi.org/10.1561/0400000083}, interhash = {a4f52786936a191a0d34b9e07927a233}, intrahash = {f4fcb885724bc58f2e0e0d1f7bdf735f}, journal = {Found. Trends Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {126-228}, timestamp = {2024-04-08T21:02:48.000+0200}, title = {Multi-Valued Reasoning about Reactive Systems.}, url = {http://dblp.uni-trier.de/db/journals/fttcs/fttcs15.html#Kupferman22}, volume = 15, year = 2022 }