D. A. van Beek, Victor Bos, J. E. Rooda. Declaration of unknowns in DAE-based hybrid system specification. ACM Trans. Model. Comput. Simul., 13(1):39-61, 2003. [doi]
@article{BeekBR03, title = {Declaration of unknowns in DAE-based hybrid system specification}, author = {D. A. van Beek and Victor Bos and J. E. Rooda}, year = {2003}, doi = {10.1145/778553.778555}, url = {http://doi.acm.org/10.1145/778553.778555}, tags = {rule-based, e-science}, researchr = {https://researchr.org/publication/BeekBR03}, cites = {0}, citedby = {0}, journal = {ACM Trans. Model. Comput. Simul.}, volume = {13}, number = {1}, pages = {39-61}, }