%0 Book %1 159829010X %A Kaynar, Dilsun K. %A Lynch, Nancy %A Segala, Roberto %B Synthesis Lectures on Computer Science %D 2006 %I Morgan and Claypool Publishers %K automata imported service theory timed web %T The Theory of Timed I/O Automata %U http://www.amazon.de/Automata-Synthesis-Lectures-Computer-Science/dp/159829010X%3FSubscriptionId%3D13CT5CVB80YFWJEPWS02%26tag%3Dws%26linkCode%3Dxm2%26camp%3D2025%26creative%3D165953%26creativeASIN%3D159829010X %@ 159829010X

@book{159829010X, added-at = {2009-06-09T14:56:07.000+0200}, asin = {159829010X}, author = {Kaynar, Dilsun K. and Lynch, Nancy and Segala, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/293119fb458df00e5131a3c1d7d2012e6/hennig}, description = {The Theory of Timed I/O Automata Synthesis Lectures on Computer Science: Dilsun K. Kaynar: Amazon.de: Nancy Lynch, Roberto Segala: Englische Bücher}, dewey = {004}, ean = {9781598290103}, interhash = {33a58cdbc5082463005ee237a32e4d8a}, intrahash = {93119fb458df00e5131a3c1d7d2012e6}, isbn = {159829010X}, keywords = {automata imported service theory timed web}, publisher = {Morgan and Claypool Publishers}, series = {Synthesis Lectures on Computer Science}, timestamp = {2009-06-09T14:56:07.000+0200}, title = {The Theory of Timed I/O Automata}, url = {http://www.amazon.de/Automata-Synthesis-Lectures-Computer-Science/dp/159829010X%3FSubscriptionId%3D13CT5CVB80YFWJEPWS02%26tag%3Dws%26linkCode%3Dxm2%26camp%3D2025%26creative%3D165953%26creativeASIN%3D159829010X}, year = 2006 }