iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/tcs/OrzanW10.rdf
Simona Orzan and Tim A. C. Willemse: Invariants for Parameterised Boolean Equation Systems. (2010) journals/tcs/OrzanW10 10.1016/J.TCS.2009.11.001 Invariants for Parameterised Boolean Equation Systems. 2 Simona Orzan 1 Tim A. C. Willemse 2 1338-1371 Theor. Comput. Sci. Theor. Comput. Sci. 411 11-13 2010 provenance information for RDF data of dblp record 'journals/tcs/OrzanW10' 2021-02-17T22:01:15+0100