STEPS: A Software Tool-set for Automated Protocol Synthesis
INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS ; 21 , 1 ; 1-12
1999-01-01
12 pages
Article (Journal)
English
DDC: | 004.16 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
NTRS | 1997
|NTRS | 1997
|Steps towards highly automated driving
British Library Conference Proceedings | 2017
|Practical steps for patenting software post Bilski
IEEE | 2012
|