{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:50:32Z","timestamp":1742986232286,"version":"3.40.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030231613"},{"type":"electronic","value":"9783030231620"}],"license":[{"start":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T00:00:00Z","timestamp":1562803200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-23162-0_1","type":"book-chapter","created":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T04:12:15Z","timestamp":1562731935000},"page":"3-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Intelligent Online Interface to Digital Electronics Laboratory with Automatic Circuit Validation and Support"],"prefix":"10.1007","author":[{"given":"Ananda","family":"Maiti","sequence":"first","affiliation":[]},{"given":"Andrew D.","family":"Maxwell","sequence":"additional","affiliation":[]},{"given":"Alexander A.","family":"Kist","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,11]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Ugarte, I., Fern\u00e1ndez, V., S\u00e1nchez, P.: Motivation of students in the learning of digital electronics through the double integration: Remote\/presential work and theoretical\/laboratory classes. In: 2012 Technologies Applied to Electronics Teaching (TAEE), pp. 63\u201367 (2012)","DOI":"10.1109\/TAEE.2012.6235408"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Dolgov, A., Miao, B., Zane, R., Maksimovic, D.: GUI-based laboratory architecture for teaching and research in digital control of SMPS. In: 2006 IEEE Workshops on Computers in Power Electronics, pp. 236\u2013239 (2006)","DOI":"10.1109\/COMPEL.2006.305636"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Zub\u00eda, J., Angulo, I., Rodr\u00edguez, L., Orduna, P., Dziabenko, O., G\u00fcenaga, M.: Integration of a remote lab in a software tool for digital electronics. In: 2013 2nd Experiment@ International Conference (exp.at\u201913), pp. 174\u2013175 (2013)","DOI":"10.1109\/ExpAt.2013.6703060"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Sapula, T.: Interactive web-based laboratories in digital electronics. In: International Conference on Education and e-Learning Innovations, pp. 1\u20135 (2012)","DOI":"10.1109\/ICEELI.2012.6360633"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J.P., Sakallah, K.A.: Boolean satisfiability in electronic design automation. Presented at the Proceedings of the 37th Annual Design Automation Conference, Los Angeles, California, USA (2000)","DOI":"10.1145\/337292.337611"},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"035015","DOI":"10.1088\/0143-0807\/36\/3\/035015","volume":"36","author":"L Toscano","year":"2015","unstructured":"Toscano, L., Stella, S., Milotti, E.: Using graph theory for automated electric circuit solving. Eur. J. Phys. 36, 035015 (2015)","journal-title":"Eur. J. Phys."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Luks, E.M.: Parallel algorithms for permutation groups and graph isomorphism. In: 27th Annual Symposium on Foundations of Computer Science (sfcs 1986), pp. 292\u2013302 (1986)","DOI":"10.1109\/SFCS.1986.39"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1016\/j.jsc.2013.09.003","volume":"60","author":"Brendan D. McKay","year":"2014","unstructured":"McKay, B.D., Piperno, A.: Practical graph isomorphism, II. J. Symbolic Comput., vol. 60, pp. 94\u2013112, 2014\/01\/01\/ (2014)","journal-title":"Journal of Symbolic Computation"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Wolinski, C., Kuchcinski, K.: Identification of application specific instructions based on sub-graph isomorphism constraints. In: 2007 IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), pp. 328\u2013333 (2007)","DOI":"10.1109\/ASAP.2007.4430001"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Fischer, T., Scheidinger, J.: VISIR\u2014Microcontroller extensions. In: 2015 12th International Conference on Remote Engineering and Virtual Instrumentation (REV), pp. 177\u2013179 (2015)","DOI":"10.1109\/REV.2015.7087287"}],"container-title":["Lecture Notes in Networks and Systems","Cyber-physical Systems and Digital Twins"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-23162-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,24]],"date-time":"2019-07-24T09:35:31Z","timestamp":1563960931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-23162-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,11]]},"ISBN":["9783030231613","9783030231620"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-23162-0_1","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2019,7,11]]},"assertion":[{"value":"11 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"REV2019","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Remote Engineering and Virtual Instrumentation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Banglore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 February 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 February 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rev2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.rev-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}