Matches in DBpedia 2015-10 for { <http://doi.org/10.1016/S1571-0661(05)82565-4> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- S1571-0661(05)82565-4 author "Bharadwaj, Ramesh".
- S1571-0661(05)82565-4 doi "10.1016/S1571-066182565-4".
- S1571-0661(05)82565-4 isCitedBy Secure_Operations_Language.
- S1571-0661(05)82565-4 issue "5".
- S1571-0661(05)82565-4 journal Electronic_Notes_in_Theoretical_Computer_Science.
- S1571-0661(05)82565-4 pages "140".
- S1571-0661(05)82565-4 title "SOL: A Verifiable Synchronous Language for Reactive Systems".
- S1571-0661(05)82565-4 url Bharadwaj02.
- S1571-0661(05)82565-4 volume "65".
- S1571-0661(05)82565-4 year "2002".