%0 Conference Paper %1 conf/apn/Arnold98 %A Arnold, André %B ICATPN %D 1998 %E Desel, Jörg %E Suárez, Manuel Silva %I Springer %K dblp %P 26-27 %T Synchronized Products of Transition Systems and Their Analysis. %U http://dblp.uni-trier.de/db/conf/apn/icatpn98.html#Arnold98 %V 1420 %@ 3-540-64677-9

@inproceedings{conf/apn/Arnold98, added-at = {2009-09-19T00:00:00.000+0200}, author = {Arnold, André}, biburl = {https://www.bibsonomy.org/bibtex/25bab456bb9e518d0197a124ba4e819ae/dblp}, booktitle = {ICATPN}, crossref = {conf/apn/1998}, editor = {Desel, Jörg and Suárez, Manuel Silva}, ee = {http://dx.doi.org/10.1007/3-540-69108-1_2}, interhash = {7f9c7b94e5b469b9029f087de9579850}, intrahash = {5bab456bb9e518d0197a124ba4e819ae}, isbn = {3-540-64677-9}, keywords = {dblp}, pages = {26-27}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2016-09-07T11:35:12.000+0200}, title = {Synchronized Products of Transition Systems and Their Analysis.}, url = {http://dblp.uni-trier.de/db/conf/apn/icatpn98.html#Arnold98}, volume = 1420, year = 1998 }