%0 Conference Paper %1 conf/icse/Ladkin87 %A Ladkin, Peter B. %B ICSE %D 1987 %E Riddle, William E. %E Balzer, Robert M. %E Kishida, Kouichi %I ACM Press %K dblp %P 106-115 %T Specification of Time Dependencies and Synthesis of Concurrent Processes. %U http://dblp.uni-trier.de/db/conf/icse/icse87.html#Ladkin87 %@ 0-89791-216-0

@inproceedings{conf/icse/Ladkin87, added-at = {2012-05-14T00:00:00.000+0200}, author = {Ladkin, Peter B.}, biburl = {https://www.bibsonomy.org/bibtex/206fb2721e04f2f50a273bf63d41246d6/dblp}, booktitle = {ICSE}, crossref = {conf/icse/1987}, editor = {Riddle, William E. and Balzer, Robert M. and Kishida, Kouichi}, ee = {http://dl.acm.org/citation.cfm?id=41777}, interhash = {96ff26059da8802cfaea13e5bf74e2e0}, intrahash = {06fb2721e04f2f50a273bf63d41246d6}, isbn = {0-89791-216-0}, keywords = {dblp}, pages = {106-115}, publisher = {ACM Press}, timestamp = {2012-05-16T11:53:28.000+0200}, title = {Specification of Time Dependencies and Synthesis of Concurrent Processes.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse87.html#Ladkin87}, year = 1987 }