@article{fi:9231,
    title      = {On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets},
    author     = {Raymond Devillers and Ronny Tredup},
    url        = {https://fi.episciences.org/9231},
    journal    = {Fundamenta Informaticae},
    issn       = {1875-8681},
    volume     = {Volume 189, Issues 3-4: Reachability Problems 2020 and 2021},
    eid        = 3,
    year       = {2023},
    month      = {Oct},
    keywords   = {Computer Science - Computational Complexity},
}