부산대학교 도서관

Mason, J.P.; Youngblood, A.; Woodraska, D.L.; Peck, C.L.; Werth, A.; West, C.G.; Aradhya, A.J.; Cai, Y.; Chaparro, D.; Erikson, J.W.; Ganesan, K.; Geerdts, T.R.; Hoang, T.D.; Horning, T.M.; Jin, Y.; Liu, H.; Lordi, N.; Luo, Z.; Menon, T.S.; Meyer, J.C.; Nelson, E.E.; Oliver, K.A.; Ramirez Ortiz, J.L.; Osborne, A.; Patterson, A.; Pellatz, N.; Pitten, J.; Shitara, N.; Steckhahn, D.; Visal, A.; Wang, H.; Wang, C.; Wickenden, E.; Wilson, J.; Wu, M.; Yegovtsev, N.; Zimmermann, I.H.; Aaron, J.H.; Abdullah, J.T.; Abrams, J.M.; Abrashoff, R.; Acevedo, A.B.; Acha, I.; Meza Acosta, D.M.; Adam, M.M.; Adams, D.Q.; Adams, K.N.; Adams, E.R.; Akbar, Z.A.; Akruwala, U.H.; Al-Ghazwi, A.; Alabbas, B.H.; Alawadhi, A.A.; Alharbi, Y.A.; Alahmed, M.S.; Albakr, M.A.; Albalushi, Y.J.; Albaum, J.; Aldhamen, A.; Ales, N.; Alesmail, M.; Alhabeeb, A.; Alhamli, D.; Alhuseini, I.; Alkaabi, S.; Alkhezzi, T.; Alkubaisi, M.; Allanqawi, N.; Allsbrook, M.; Almohsen, Y.A.; Almquist, J.T.; Alnaji, T.; Alnasrallah, Y.A.; Alonzi, N.; Alosaimi, M.; Alqabani, E.; Alrubaie, M.; Alsinan, R.A.; Altenbern, A.L.; Altokhais, A.; Alyami, S.A.; Ameijenda, F.; Amer, H.; Amos, M.; Anderson, H.J.; Andrew, C.; Andringa, J.C.; Angwin, A.; Van Anne, G.; Aramians, A.; Arango, C.V.; Archibald, J.W.; Arias-Robles, B.A.; Aryan, M.; Ash, K.; Astalos, J.; Atchley-Rivers, N.S.; Augenstein, D.N.; Austin, B.W.; Avula, A.; Aycock, M.C.; Baflah, A.A.; Balaji, S.; Balajonda, B.; Balcer, L.M.; Baldwin, J.O.; Banda, D.J.; Bard, T.; Barmore, A.; Barnes, G.M.; Barnhart, L.D.W.; Barone, K.M.; Bartman, J.L.; Bassel, C.; Bastias, C.S.; Bat-Ulzii, B.; Batra, J.; Battist, L.; Bay, J.; Beach, S.; Beard, S.; Beato, Q.I.; Beattie, R.; Beatty, T.; De La Beaujardiere, T.; Beauprez, J.N.; Beck, M.G.; Beck, L.; Becker, S.E.; Behr, B.; Behrer, T.A.; Beijer, J.; Belei, B.J.; Belknap, A.L.; Bell, A.; Bence, C.; Benke, E.; Berhanu, N.; Berriman-Rozen, Z.D.; Bertuccio, C.; Berv, O.A.; Biediger, B.B.; Biehle, S.J.; Billig, B.; Billingsley, J.; Billman, J.A.; Biron, C.J.; Bisacca, G.E.; Blake, C.A.; Blandon, G.; Blevins, O.; Blouin, E.; Bodzianowski, M.; Boeyink, T.A.; Bondar, M.; Bone, L.; De Los Monteros Bonilla, A.E.; Borelli, W.T.; Borgerding, L.R.; Bowen, T.; Boyer, C.; Boyer, A.; Boyle, A.P.; Boyne, T.; Branch, D.; Brecl, A.E.; Brennan, D.J.; Brimhall, A.J.; Brockman, J.L.; Brookins, S.; Brown, G.T.; Brown, C.L.; Brown, R.; Brownlow, J.; Brumage-Heller, G.; Brumley, P.J.; Bryan, S.; Brzostowicz, A.; Buhamad, M.; Bullard-Connor, G.; Bunsow, J.R.R.; Burns, A.C.; Burritt, J.J.; Burton, N.D.; Burton, T.; Busch, C.; Butler, D.R.; Buxton, B.W.; C. Toups, M.; Cabbage, C.C.; Cage, B.; Cahn, J.R.; Campbell, A.J.; Canales, B.P.; Cancio, A.R.; Carey, L.; Carillion, E.L.; Carpender, M.A.; Carpenter, E.; Chadda, S.; Chambers, P.; Chanders, J.; Chandler, O.M.; Chang, E.C.; Chapman, M.G.; Chapman, L.T.; Chavali, S.; Chavez, L.; Chen, K.; Chen, L.; Chen, S.; Chen, J.; Chhetri, J.; Chiles, B.; Chizmar, K.M.; Christiansen, K.E.; Cisne, N.A.; Cisneros, A.; Clark, D.B.; Clarke, E.; Clarkson, P.C.; Clausi, A.R.; Cochran, B.; Coe, R.W.; Coleman-Plante, A.; Colleran, J.R.; Colleran, Z.; Collier, C.; Collins, N.A.; Collins, S.; Collins, J.C.; Colozzi, M.; Colter, A.; Cone, R.A.; Conroy, T.C.; Conti, R.; Contizano, C.J.; Cool, D.J.; Cooper, N.M.; Corbitt, J.S.; Courtney, J.; Courtney, O.; Cox, C.L.; Craig, W.B.; Creany, J.B.; Crews, A.; Crocker, K.A.; Croteau, A.J.; Crow, C.J.; Cruse, Z.; Cruz, A.; Curnow, T.L.; Current, H.; Curry, R.T.; Cutler, L.; Cyr, A.S.; Dabberdt, F.M.; Daboub, J.; Damgaard, O.; Das, S.; Davis, E.A.B.; Debarros, E.; Deel, S.; Delasantos, M.E.; Deng, T.; Derwin, Z.; Desai, O.; Dewey, K.; Dias, J.S.; Dice, K.A.; Dick, R.; Dicken, C.A.; Dietrick, H.; Dinser, A.M.; Dixon, A.M.; Dixon, T.J.; Do, H.C.; Doan, C.H.; Doane, C.; Dodrill, J.; Doermer, T.; Dominguez, L.M.; Dominguez, J.; Domke, E.N.; Doran, C.R.; Dorr, J.A.; Dorricott, P.; Dresdner, D.C.; Driscoll, M.; Driscoll, K.H.; Duncan, S.J.; Dunlap, C.; Dunn, G.M.; Duong, T.Q.; Dupeyron, T.O.; Dvorak, P.; East, A.; East, A.N.; Edwards, B.; Ehrlich, L.; Elbashir, S.I.; Engelhardt, R.; Engelstad, J.; England, C.; Enrich, A.; Erickson, A.; Erickson, B.; Evans, N.; Ewing, C.A.; Eyeson, E.A.; Faber, I.; Fails, A.M.; Fauntleroy, J.T.; Fell, K.; Feng, Z.; Fenwick, L.D.; Feoktistov, N.; Fife, R.; D. Figueirinhas, J.A.; Fisch, J.-P.; Fischer, E.; Fischer-White, J.; Fitton, A.F.; Fix, A.; Flackett, L.; Flores, F.; Floyd, A.; Del Foco, L.; Folarin, A.; Forbes, A.E.; Fortino, E.; Fougere, B.L.; Fowler, A.A.; Fox, M.; French, J.M.; French, K.V.; Frick, F.G.; Fuchs, C.R.; Fuhrman, B.E.S.; Furney, S.; Gabir, M.; Galarraga, G.; Gale, S.; Gapin, K.C.; Garscadden, A.J.; Gasser, R.; Gayou, L.; Gearhart, E.E.; Geisman, J.; Geneser, J.R.; Genne, S.; Gentile, J.G.; Gentry, E.; George, J.D.; Georgiades, N.J.; Gerhardstein, P.; Gersabeck, C.; Ghaith, B.A.; Ghiassi, D.; Giebner, B.C.; Gilmartin, D.; Gilpatrick, C.B.; Gjini, M.; Golden, O.; Golding, N.T.; Goldsberry, C.A.; Gomez, A.R.; Gomez, A.A.; Gopalakrishnan, S.; Gopalani, M.; Gotlib, N.; Graham, A.S.; Gray, M.J.; Gregory, A.H.; Gregory, J.A.; Grell, K.; Griego, J.; Griffin, N.F.; Griffin, K.J.; Guerrero, M.; Gunderson, N.; Guo, M.; Gustavsson, E.R.; Hach, G.K.; Haile, L.N.; Haines, J.; Mc Hale, J.J.; Hales, R.B.; Haley, M.S.; Hall, J.L.; Hamilton, S.R.; Han, S.; Hand, T.; Hanley, L.C.; Hansen, C.M.; Hansen, J.A.; Hansson, J.; Hao, T.Y.; Haratsaris, N.; Hardie, I.; Hardwick, D.F.; Hares, C.T.; Harris, L.S.; Harris, C.M.; Hart, O.; Hashiro, K.; Hattendorf, E.; Haubrich, C.; Hawat, E.; Hayrynen, G.A.; Heintz, D.A.; Hellweg, T.; Hernandez, A.; Herrera, E.; Herrington, R.N.; Herwig, T.; Hesse, T.M.; Hiatt, Q.; Hibbard, L.P.; Hicks, I.R.; Hicks, A.J.; Highhouse, N.; Hildebrand, A.K.; Hill, P.; Hill, H.; Hintsa, E.; Hirschmann, A.E.; Hitt, T.; Ho, E.; Hoff, I.J.; Hoffman, A.; Hogen, B.A.; Horne, L.; Houck, T.J.; Howell, N.H.; Hrudka, E.M.; Hu, J.; Huang, J.; Huang, C.; Huang, S.; Hudson, Z.A.; Hudson, N.C.; Huebsch, T.J.; Hull, O.; Hunter, S.C.; Husted, T.; Hutabarat, A.P.; Huynh, L.; Samour Ii, A.E.; Idoine, Y.; Ingram, J.A.; Iovan, T.; Isert, S.A.; Salcido-Alcontar, A.; Jacobsen, T.; Jaimes, A.A.; Jameson, C.; Jarriel, J.R.; Jarvis, S.; Jenkins, J.; Jensen, A.V.; Jeong, J.; Jeseritz, L.A.; Jesse, T.; Ji, S.Y.; Jiang, Y.; Johnson, O.; Johnson, M.; Johnson, S.; Johnston, J.; Johnston, B.Y.; Jones, O.M.; Jones, M.R.; Jourabchi, T.; House, T.A.; Juels, P.; T. Kainz, S.J.H.; Kaiser, E.; Kallemeyn, N.I.; Kalmus, M.H.; Kalra, E.; Kamenetskiy, M.; Kanokthippayakun, J.; Kapla, S.D.; Karsh, B.J.; Keating, C.J.; Kelley, M.A.; Kelley, M.P.; Kelly, N.; Kelly, J.; Kelly, T.; Kelly, C.M.; Kennedy, K.; Kennedy, C.J.; Kennedy, F.; Kennedy, A.; Kerr-Layton, L.; Ketterer, M.; Khan, I.A.; Khan, U.; Khanal, S.; Kiechlin, J.L.; Killian, D.; Kim, K.; Kim, B.T.; Kim, M.M.; Kim, J.; Kimlicko, A.; Kipp, I.M.; Kirkpatrick, H.B.; Kissner, N.; Kite, E.R.; Kleinhaus, O.R.; Knott, P.W.; Koch, W.; Koenig, G.; Koke, E.; Kokes, T.; Kothamdi, Y.S.; Krajnak, Z.; Kresek, Z.M.; Kriegman, D.; Kritzberg, J.E.; Krueger, D.J.; Kubiak, B.; Kuehl, K.; Kuester, C.; Kuiper, N.A.; Kumar, A.P.; Kuybus, C.; Kwiatkowski, D.; Lafemina, Q.Y.; Lacjak, K.; Lahmers, K.; Lam, A.; Landrey, K.; Lantz, M.B.; Larter, Z.; Lau, B.P.; Lauzon, M.; Lawlor, R.; Learned, T.; Lee, E.C.; Lee, J.; Lee, A.J.; Lee, J.; Lee, A.Y.; Lee, C.J.; Lee, N.F.; Leiker, L.; Lengerich, D.; Leoni, C.; Lezak, A.R.; Li, D.Y.; Li, I.; Liao, R.Z.; Linders, B.; Linger, M.I.; Linnane, K.B.; Lippincott, S.; Lister, B.; Litton, S.D.; Liu, N.; Liu, S.Y.; Logan, T.W.; Londres, N.; Lonergan, M.C.; Lookhoff, E.; Loomis, N.E.; Lopez, C.; Loring, J.; Lucca, J.; Lukianow, D.; M. Cheang, N.; Macdonald, W.; Madonna, C.A.; Madsen, K.O.; Maksimuk, T.E.; Mallory, M.; Malone, R.A.; Maly, B.; Manzanares, X.R.; Maravi, A.S.; Marcus, S.M.; Marikar, N.; Marquez, J.A.; Marquez, M.J.; Marsh, L.; Marsh, T.; Martin, L.S.; Martinez, A.M.; Martinez, J.R.; Martinez, H.K.; Martyr, C.; Masri, M.; Matessi, G.; Khan Mohd Reduan Mathavan, A.I.; Mathieson, R.M.; Mathur, K.P.; Mauer, G.; Mayer, V.A.; Mazzotta, L.; Mccammon, G.S.; Mcconvey, R.; Mccormick, T.; Mccoy, A.; Mcentee, K.; Mcgarvey, M.V.; Mcgill, R.M.; Mcintyre, J.K.; Mckemey, F.K.; Mcmorris, Z.; Mcmullan, J.J.; Mcquaid, E.; Mcvey, C.; Mccurry, K.; Medellin, M.M.; Medialdea, M.; Mehidic, A.; Meillon, S.; Meiselman-Ashen, J.B.; Mellett, S.; Menassa, D.; Mendez, C.; Mendoza-Anselmi, P.; Menke, R.; Mesgina, S.; Mewhirter, W.J.; Meyer, E.; Miften, A.M.; Miles, E.J.; Miller, A.; Miller, J.B.; Millican, E.B.; Millican, S.J.; Mills, D.P.; Minimo, J.; Misener, J.H.; Mitchell, A.J.; Mizzi, A.Z.; Molina-Saenz, L.; Moll, T.S.; Moll, H.; Montano, M.; Montoya, M.; Monyek, E.; Mora, J.R.; Morales, G.; Morales, G.; Morelock, A.M.; Morency, C.; Moreno, A.J.; Morgan, R.; Moss, A.P.; Muckenthaler, B.A.; Mueller, A.; Mulcahy, O.T.; Mundy, A.T.; Muniz, A.A.; Murphy, M.J.; Murphy, M.C.; Murphy, R.C.; Murrel, T.; Musgrave, A.J.; Myer, M.S.; Nandu, K.; Napoletano, E.R.; Naqi, A.; Narayan, A.; Nasser, L.; Neeland, B.K.; Nehring, M.; Nelson, M.L.; Nguyen, L.P.; Nguyen, L.; Nguyen, L.; Nguyen, V.A.; Nguyen, K.D.; Norden, K.; Norris, C.; Nunes-Valdes, D.; Nussbaum, R.O.; O’Sullivan, C.; O’Neill, I.; Oakes, S.H.; Odbayar, A.; Ogle, C.; Oishi-Holder, S.; Olguin, N.; Olson, N.P.; Ong, J.; Opp, E.N.; Orbidan, D.; Oros, R.; Ort, A.E.; Osborn, M.; Osogwin, A.; Otto, G.; Oudakker, J.; Overchuk, I.; Padgette, H.M.; Padilla, J.; Palizzi, M.; Palmgren, M.L.; Palos, A.; Pan, L.J.; Parker, N.L.; Parker, S.R.; Parkinson, E.J.; Parulekar, A.; Pastor, P.J.; Patel, K.; Patel, A.; Patel, N.S.; Patti, S.; Patton, C.; Payne, G.K.; Payne, M.P.; Pearl, H.M.; Beck Von Peccoz, C.B.; Pedersen, A.J.; Pelster, L.M.; Peou, M.E.; Perez, J.S.; Perez, F.; Pesce, A.; Petersen, A.J.; Peterson, B.; Petric, R.S.L.; Pettine, J.; Phalen, E.J.; Pham, A.V.; Phan, D.M.; Pherigo, C.C.; Phillips, L.; Phillips, J.; Phommatha, K.; Pietras, A.; Pine, T.P.; Pitsuean-Meier, S.; Pixley, A.M.; Plantz, W.; Plummer, W.C.; Plutt, K.E.; Plzak, A.E.; Pohle, K.; Polikoff, H.; Pollard, M.; Polly, M.; Porter, T.J.; Price, D.; Price, N.K.; Prinster, G.H.; Propper, H.A.; Quarderer, J.; Quinn, M.S.; Quinonez, O.; Quispe, D.; Ragsdale, C.; Rahn, A.L.; Rakhmonova, M.; Ralapanawe, A.K.; Ramachandra, N.; Ramirez, N.; Ramirez, A.C.; Ramirez, S.; Randolph, P.; Ranjan, A.; Rankin, F.C.; Rapaport, S.G.; Ratajczyk, N.O.; Ray, M.G.V.; Reagan, B.D.; Recchia, J.C.; Reddy, B.J.; Reed, J.; Reed, C.; Reeves, J.; Reh, E.N.; Von Reich, F.J.; Reyna, A.B.; Reynolds, A.; Reynolds, H.; Rippel, M.; Rivas, G.A.; Rives, A.L.; Robert, A.M.; Robertson, S.M.; Rodgers, M.; Rojec, S.; Romero, A.C.; Rosasco, R.; Rossman, B.; Rotter, M.; Rounsefell, T.; Rouse, C.; Routledge, A.C.; Roy, M.G.; Roy, Z.A.; Ruger, R.; Ruggles-Delgado, K.; Rule, I.C.; Rumley, M.; Runyon, B.M.; Ruprecht, C.; Russell, B.; Russell, S.; Ryder, D.; Saeb, D.; Salazar, J.; Salazar, V.; Saldi, M.; Salgado, J.A.; Salindeho, A.D.; Sanchez, E.S.; Sanchez-Sanchez, G.; Sarfaraz, D.; Sarkar, S.; Sato, G.A.; Savage, C.; Schaller, M.T.; Scheck, B.T.; Schlenker, J.A.W.; Schofer, M.J.; Schubert, S.H.; Schultze, C.; Schumacher, G.K.; Seglem, K.; Serio, L.; Seux, O.; Shahba, H.; Shannahan, C.D.; Sharma, S.; Shaver, N.; Shaw, T.; Shelby, A.K.; Shelby, E.; Shelchuk, G.; Sheldrake, T.; Sherry, D.P.; Shi, K.Z.; Shields, A.M.; Shin, K.; Shockley, M.C.; Shoha, D.; Shortman, J.; Shuttleworth, M.; Sibrell, L.; Sickler, M.G.; Siles, N.; Silvester, H.K.; Simmons, C.; Simone, D.M.; Simone, A.; Singh, S.; Singh, M.A.; Sinkovic, M.; Sipowicz, L.; Sjoroos, C.; Slocum, R.; Slyne, C.; Smart, K.; Smith, A.N.; Smith, K.; Smith, C.; Smith, E.K.; Smith, S.M.; Smith, P.; Smith, T.J.; Snyder, G.L.; Soby, D.A.; Sohail, A.S.; Solorio, W.J.; Solt, L.; Soon, C.; Spangler, A.A.; Spicer, B.C.; Srivastava, A.; Stamos, E.; Starbuck, P.; Stark, E.K.; Starling, T.; Staudenmier, C.; Steinbarth, S.L.; Steinsberger, C.H.; Stepaniak, T.; Steward, E.N.; Stewart, T.; Stewart, T.C.; Stratmeyer, C.N.; Stratton, G.L.; Stribling, J.L.; Sulaiman, S.A.; Sullivan, B.J.; Sundell, M.E.; Sur, S.N.; Suri, R.; Swartz, J.R.; Sweeney, J.D.; Syed, K.; Szabo, E.; Szeremeta, P.; Ta, M.D.; Tanguma, N.C.; Taulman, K.; Taylor, N.; Taylor, E.; Taylor, L.C.; Tayman, K.E.; Tellez, Y.; Terrile, R.; Tesdahl, C.D.; Thielmann, Q.N.; Thoman, G.; Thomas, D.; Thomas, J.J.; Thompson, W.N.; Thornally, N.R.; Tobin, D.P.; Ton, K.; Toon, N.J.; Tran, K.; Tran, B.; Trank-Greene, M.; Trautwein, E.D.; Traxler, R.B.; Tressler, J.; Trofino, T.R.; Troisi, T.; Trunko, B.L.; Truong, J.K.; Tucker, J.; Umbricht, T.D.; Uphoff, C.H.; Upthegrove, Z.T.; Vadayar, S.; Valencia, W.; Vallery, M.M.; Vanetten, E.; Vann, J.D.; Varela, I.; Vassilyev, A.; Vaver, N.J.; Velamala, A.A.; Vendetti, E.; Venegas, N.O.; Vepa, A.V.; Vess, M.T.; Veta, J.S.; Victory, A.; Vinson, J.; Vogel, C.M.; Wagoner, M.; Wallace, S.P.; Wallace, L.; Waller, C.; Wang, J.; Warble, K.; Ward-Chene, N.R.D.; Watson, J.A.; Weber, R.J.; Wegner, A.B.; Weigand, A.A.; Weiner, A.M.; West, A.; Wexler, E.B.; Wheeler, N.H.; White, J.R.; White, Z.; White, O.S.; Whittall, L.C.; Wilcove, I.; Wilkinson, B.C.; Willard, J.S.; Williams, A.K.; Williams, S.; Wilson, O.K.; Wilson, E.M.; Wilson, T.R.; Wilson, C.B.; Witkoff, B.; Wolfe, A.M.; Wolle, J.R.; Wood, T.M.; Woodard, A.L.; Wootten, K.; Xiao, C.; Yang, J.; Yang, Z.; Young, T.J.; Young, I.; Zenner, T.; Zhang, J.; Zhao, T.; Zhao, T.; Zhao, N.Y.; Zhou, C.; Ziebold, J.J.; Ziegler, L.J.; Zygmunt, J.C.; Zhang, J.; Lewandowski, H.J.

In: Astrophysical Journal. (Astrophysical Journal, 1 May 2023, 948(2))

Velde, K.T.; Peeters, E.; Beijer, J.; Verdegem, M.

In: Aquaculture Environment Interactions. (Aquaculture Environment Interactions, 2022, 14:113-125)

Gonda, V.; Den Toonder, J.M.J.; Beijer, J.; Zhang, G.Q.; van Driel, W.D.; Hoofman, R.J.O.M.; Ernst, L.J.

In Microelectronics Reliability 2004 44(12):2011-2017

den Toonder, J.; van Dijken, A.; Gonda, V.; Beijer, J.; Kouchi Zhang; Ernst, L.

53rd Electronic Components and Technology Conference, 2003. Proceedings. Electronic Components and Technology Conference, 2003. Proceedings. 53rd. :708-713 2003

Gonda, V.; Zhang, G.Q.; den Toonder, J.; Beijer, J.; Ernst, L.J.

Fifth International Conference onElectronic Packaging Technology Proceedings, 2003. ICEPT2003. Electronic packaging technology Electronic Packaging Technology Proceedings, 2003. ICEPT 2003. Fifth International Conference on. :288-294 2003

Gonda, V.; den Toonder, J.; Beijer, J.; Zhang, G.Q.; Ernst, L.J.

2004 Proceedings. 54th Electronic Components and Technology Conference (IEEE Cat. No.04CH37546) Electronic components and technology Electronic Components and Technology Conference, 2004. Proceedings. 54th. 1:913-917 Vol.1 2004

Gonda, V.; Ernst, L.J.; Den Toonder, J.; Beijer, J.; Zhang, G.Q.

In: Journal of Electronic Packaging, Transactions of the ASME. (Journal of Electronic Packaging, Transactions of the ASME, March 2005, 127(1):33-37)

Zambrano, L.; Beijer, J.; Roozen, F.; Scheffer, M.

In: Archiv fur Hydrobiologie. (Archiv fur Hydrobiologie, 2005, 162(3):327-337)

Hooijen-Cruts, G.H.; Beijer, J.

In: Strahlentherapie und Onkologie : Organ der Deutschen Rontgengesellschaft . [et al]. (Strahlentherapie und Onkologie : Organ der Deutschen Rontgengesellschaft . [et al], February 1986, 162(2):123-125)

Varadarajan, A.V.; Van De Mortel-Fronczak, J.; Romijn, M.; Oosthoek, B.; Beijer, J.

In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2016. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 28 March 2016, 205:45-58)